×

CSLI Lecture Notes

Short Title: CSLI Lect. Notes
Publisher: CSLI Publications, Stanford, CA
Online: https://web.stanford.edu/group/cslipublications/cslipublications/site/CSIN.shtml
Comments: Book series
Documents Indexed: 83 Publications (since 1986)
all top 5

Authors / Editors

10 Knuth, Donald Ervin
8 Barwise, Kenneth Jon
4 Cegielski, Patrick
4 de Rijke, Maarten
4 Etchemendy, John
3 Moss, Lawrence S.
3 Suppes, Patrick
3 van Benthem, Johan F. A. K.
2 Barker-Plummer, Dave
2 Copestake, Ann
2 Galavotti, Maria Carla
2 Goldblatt, Robert Ian
2 Kanazawa, Makoto
2 Keenan, Edward L.
2 Linsky, Bernard
2 Mints, Grigoriĭ Efroimovich
2 Piñón, Christopher J.
2 Shieber, Stuart M.
2 Wansing, Heinrich Theodor
2 Wasow, Thomas
2 Westerståhl, Dag
2 Zakharyaschev, Michael Viktorovich
1 Abeillé, Anne
1 Aczel, Peter
1 Adams, Ernest Wilcox
1 Aliseda, Atocha
1 Bargelli, Daniele
1 Barr, Michael
1 Beaver, David I.
1 Bimbó, Katalin
1 Blackburn, Patrick
1 Bolander, Thomas
1 Bouquet, Paolo
1 Brady, Ross Thomas
1 Braisby, Nick
1 Brewka, Gerhard
1 Buszkowski, Wojciech
1 Casadio, Claudia
1 Cavedon, Lawrence
1 Cecchetto, Carlo
1 Cerezo, María
1 Chierchia, Gennaro
1 Cooper, Robin
1 Cornaros, Charalampos
1 Costantini, Domenico
1 Crangle, Colleen E.
1 Dalrymple, Mary
1 de Groote, Philippe
1 de Swart, Henriëtte
1 Devlin, Keith J.
1 di Luzio, Patrick Scotto
1 Dimitracopoulos, Costas
1 Dix, Jurgen
1 Dunn, Jon Michael
1 Enayat, Ali
1 Everett, Anthony
1 Fadda, Mario
1 Faller, Martina
1 Fenstad, Jens Erik
1 Frápolli, María José
1 García de la Sienra, Adolfo
1 Gawron, Jean Mark
1 Gillon, Brendan S.
1 Ginzburg, Jonathan
1 Greaves, Mark
1 Grimshaw, Jane
1 Guasti, Maria Teresa
1 Hendricks, Vincent F.
1 Jamnik, Mateja
1 Kandulski, Maciej
1 Kanerva, Pentti
1 Kaplan, Ronald M.
1 Kaufmann, Stefan-Harald
1 Kehler, Andrew
1 Keller, Bill
1 Konolige, Kurt
1 Kossak, Roman
1 Kracht, Marcus
1 Lambek, Joachim
1 Langholm, Tore
1 Lecomte, Alain
1 Link, Godehard
1 Longino, Helen E.
1 Mason, Ian A.
1 Maxwell, John T. III
1 Mendell, Henry R.
1 Miller, Philip H.
1 Moore, Robert C.
1 Moortgat, Michael
1 Moravcsik, Julius M.
1 Morrill, Glyn V.
1 Mukai, Kuniaki
1 Muskens, Reinhard A.
1 Norman, Jesse
1 Oehrle, Richard T.
1 Pauly, Marc
1 Pedersen, Stig Andur
1 Pentus, Mati
1 Pereira, Fernando C. N.
1 Perry, John
...and 26 more Authors

Publications by Year

Citations contained in zbMATH Open

47 Publications have been cited 734 times in 684 Documents Cited by Year
Non-well-founded sets. Foreword by Jon Barwise. Zbl 0668.04001
Aczel, Peter
129
1988
Logics of time and computation. Zbl 0635.03024
Goldblatt, Robert
85
1987
Lectures on linear logic. Zbl 0942.03535
Troelstra, A. S.
67
1992
Vicious circles. On the mathematics of non-wellfounded phenomena. Zbl 0865.03002
Barwise, Jon; Moss, Lawrence
61
1996
Generalized Galois logics. Relational semantics of nonclassical logical calculi. Zbl 1222.03001
Bimbó, Katalin; Dunn, J. Michael
40
2008
A primer of probability logic. Zbl 0910.68202
Adams, Ernest W.
35
1998
Representation and invariance of scientific structures. Zbl 1007.03003
Suppes, Patrick
34
2002
Mathematics of modality. Zbl 0942.03516
Goldblatt, Robert
33
1993
The situation in logic. Zbl 0664.03003
Barwise, Jon
29
1989
Universal logic. Zbl 1234.03010
Brady, Ross
28
2006
An introduction to unification-based approaches to grammar. Zbl 0770.68008
Shieber, Stuart M.
15
1988
Russell’s metaphysical logic. Zbl 0981.03004
Linsky, Bernard
13
1999
Prolog and natural-language analysis. Zbl 0684.68010
Pereira, Fernando C. N.; Shieber, Stuart M.
12
1987
Geometry and meaning. Foreword by Pentti Kanerva. Zbl 1068.00003
Widdows, Dominic
12
2004
Hyperproof for the Macintosh. Program by Gerard Allwein, Mark Greaves, and Michael Lenz. Incl. 1 disk. Zbl 0860.03004
Barwise, Jon; Etchemendy, John
11
1994
A manual of intensional logic. 2nd ed., revised and expanded. Zbl 0678.03010
van Benthem, Johan
9
1988
A short introduction to modal logic. Zbl 0942.03515
Mints, G.
9
1992
Mathematical reasoning with diagrams. From intuition to automation. With a foreword by J. A. Robinson. Zbl 1040.68111
Jamnik, Mateja
9
2001
Nonmonotonic reasoning. An overview. Zbl 0876.68102
Brewka, Gerhard; Dix, Jürgen; Konolige, Kurt
8
1997
The language of first-order logic. Including the Macintosh version of Tarski’s World 4.0. 3rd ed., rev. and exp. Zbl 0858.03002
Barwise, Jon; Etchemendy, John
8
1993
Normalization, cut-elimination and the theory of proofs. Zbl 0866.03028
Ungar, A. M.
8
1992
Philosophical introduction to probability. Zbl 1072.03001
Galavotti, Maria Carla
7
2005
Literate programming. Zbl 1109.68387
Knuth, Donald E.
6
1992
Partiality, truth and persistence. (Revision of the author’s thesis, Stanford Univ., 1987). Zbl 0665.03024
Langholm, Tore
6
1988
Selected papers on analysis of algorithms. Zbl 0966.68082
Knuth, Donald E.
6
2000
Language and grammar. Studies in mathematical linguistics and natural language. Zbl 1137.03300
5
2005
The philosophical status of diagrams. Zbl 1025.00001
Greaves, Mark
5
2002
Algebraic semantics in language and philosophy. Zbl 0923.03010
Link, Godehard
5
1998
Selected papers on fun and games. Zbl 1237.00034
Knuth, Donald E.
4
2011
The semantics of destructive LISP. Zbl 0678.68003
Mason, Ian A.
4
1986
Logic and representation. Zbl 0826.68120
Moore, Robert C.
3
1995
Strong generative capacity. The semantics of linguistic formalism. Zbl 0959.68121
Miller, Philip H.
3
1999
Implementing typed feature structure grammars. Zbl 1055.68112
Copestake, Ann
3
2002
Coherence, reference, and the theory of grammar. Zbl 1046.68108
Kehler, Andrew
3
2002
Logical reasoning with diagrams and sentences. Using hyperproof. Zbl 1373.03001
Barker-Plummer, Dave; Barwise, Jon; Etchemendy, John
2
2017
After Euclid. Visual reasoning and the epistemology of diagrams. Zbl 1104.00010
Norman, Jesse
2
2006
Advances in modal logic. Vol. 1. Selected papers of the 1st AiML conference, Free University of Berlin, Germany, October 1996. Zbl 0897.00022
2
1998
Ancient and medieval traditions in the exact sciences. Essays in memory of Wilbur Knorr. Papers of the Wilbur Knorr memorial conference, Stanford, CA, USA, March 13–14, 1998. Zbl 0964.00010
2
2000
Tree adjoining grammars. Formalisms, linguistic analysis and processing. Zbl 1055.68110
2
2000
Syntactic theory: A formal introduction. Zbl 0945.68168
Sag, Ivan A.; Wasow, Thomas
2
1999
Algorithms. Articles selected and translated by Patrick Cégielski. (Algorithmes. Articles choisis et traduits par Patrick Cégielski.) Zbl 1235.68030
Knuth, Donald E.
1
2011
Companion to the papers of Donald Knuth. Zbl 1237.00033
Knuth, Donald
1
2011
Foundations and methods from mathematics to neuroscience. Essays inspired by Patrick Suppes. Zbl 1370.03008
1
2014
Situation theory and its applications. Vol. 2: Proceedings of the 2nd conference, Loch Rannoch, GB, September 1991. Zbl 0942.03522
1
1991
Feature logics, infinitary descriptions and grammar. Zbl 0943.68084
Keller, Bill
1
1993
Selected papers on discrete mathematics. Zbl 1052.01015
Knuth, Donald E.
1
2003
Things a computer scientist rarely talks about. With a foreword by Anne Foerst. Zbl 1033.00011
Knuth, Donald E.
1
2001
Logical reasoning with diagrams and sentences. Using hyperproof. Zbl 1373.03001
Barker-Plummer, Dave; Barwise, Jon; Etchemendy, John
2
2017
Foundations and methods from mathematics to neuroscience. Essays inspired by Patrick Suppes. Zbl 1370.03008
1
2014
Selected papers on fun and games. Zbl 1237.00034
Knuth, Donald E.
4
2011
Algorithms. Articles selected and translated by Patrick Cégielski. (Algorithmes. Articles choisis et traduits par Patrick Cégielski.) Zbl 1235.68030
Knuth, Donald E.
1
2011
Companion to the papers of Donald Knuth. Zbl 1237.00033
Knuth, Donald
1
2011
Generalized Galois logics. Relational semantics of nonclassical logical calculi. Zbl 1222.03001
Bimbó, Katalin; Dunn, J. Michael
40
2008
Universal logic. Zbl 1234.03010
Brady, Ross
28
2006
After Euclid. Visual reasoning and the epistemology of diagrams. Zbl 1104.00010
Norman, Jesse
2
2006
Philosophical introduction to probability. Zbl 1072.03001
Galavotti, Maria Carla
7
2005
Language and grammar. Studies in mathematical linguistics and natural language. Zbl 1137.03300
5
2005
Geometry and meaning. Foreword by Pentti Kanerva. Zbl 1068.00003
Widdows, Dominic
12
2004
Selected papers on discrete mathematics. Zbl 1052.01015
Knuth, Donald E.
1
2003
Representation and invariance of scientific structures. Zbl 1007.03003
Suppes, Patrick
34
2002
The philosophical status of diagrams. Zbl 1025.00001
Greaves, Mark
5
2002
Implementing typed feature structure grammars. Zbl 1055.68112
Copestake, Ann
3
2002
Coherence, reference, and the theory of grammar. Zbl 1046.68108
Kehler, Andrew
3
2002
Mathematical reasoning with diagrams. From intuition to automation. With a foreword by J. A. Robinson. Zbl 1040.68111
Jamnik, Mateja
9
2001
Things a computer scientist rarely talks about. With a foreword by Anne Foerst. Zbl 1033.00011
Knuth, Donald E.
1
2001
Selected papers on analysis of algorithms. Zbl 0966.68082
Knuth, Donald E.
6
2000
Ancient and medieval traditions in the exact sciences. Essays in memory of Wilbur Knorr. Papers of the Wilbur Knorr memorial conference, Stanford, CA, USA, March 13–14, 1998. Zbl 0964.00010
2
2000
Tree adjoining grammars. Formalisms, linguistic analysis and processing. Zbl 1055.68110
2
2000
Russell’s metaphysical logic. Zbl 0981.03004
Linsky, Bernard
13
1999
Strong generative capacity. The semantics of linguistic formalism. Zbl 0959.68121
Miller, Philip H.
3
1999
Syntactic theory: A formal introduction. Zbl 0945.68168
Sag, Ivan A.; Wasow, Thomas
2
1999
A primer of probability logic. Zbl 0910.68202
Adams, Ernest W.
35
1998
Algebraic semantics in language and philosophy. Zbl 0923.03010
Link, Godehard
5
1998
Advances in modal logic. Vol. 1. Selected papers of the 1st AiML conference, Free University of Berlin, Germany, October 1996. Zbl 0897.00022
2
1998
Nonmonotonic reasoning. An overview. Zbl 0876.68102
Brewka, Gerhard; Dix, Jürgen; Konolige, Kurt
8
1997
Vicious circles. On the mathematics of non-wellfounded phenomena. Zbl 0865.03002
Barwise, Jon; Moss, Lawrence
61
1996
Logic and representation. Zbl 0826.68120
Moore, Robert C.
3
1995
Hyperproof for the Macintosh. Program by Gerard Allwein, Mark Greaves, and Michael Lenz. Incl. 1 disk. Zbl 0860.03004
Barwise, Jon; Etchemendy, John
11
1994
Mathematics of modality. Zbl 0942.03516
Goldblatt, Robert
33
1993
The language of first-order logic. Including the Macintosh version of Tarski’s World 4.0. 3rd ed., rev. and exp. Zbl 0858.03002
Barwise, Jon; Etchemendy, John
8
1993
Feature logics, infinitary descriptions and grammar. Zbl 0943.68084
Keller, Bill
1
1993
Lectures on linear logic. Zbl 0942.03535
Troelstra, A. S.
67
1992
A short introduction to modal logic. Zbl 0942.03515
Mints, G.
9
1992
Normalization, cut-elimination and the theory of proofs. Zbl 0866.03028
Ungar, A. M.
8
1992
Literate programming. Zbl 1109.68387
Knuth, Donald E.
6
1992
Situation theory and its applications. Vol. 2: Proceedings of the 2nd conference, Loch Rannoch, GB, September 1991. Zbl 0942.03522
1
1991
The situation in logic. Zbl 0664.03003
Barwise, Jon
29
1989
Non-well-founded sets. Foreword by Jon Barwise. Zbl 0668.04001
Aczel, Peter
129
1988
An introduction to unification-based approaches to grammar. Zbl 0770.68008
Shieber, Stuart M.
15
1988
A manual of intensional logic. 2nd ed., revised and expanded. Zbl 0678.03010
van Benthem, Johan
9
1988
Partiality, truth and persistence. (Revision of the author’s thesis, Stanford Univ., 1987). Zbl 0665.03024
Langholm, Tore
6
1988
Logics of time and computation. Zbl 0635.03024
Goldblatt, Robert
85
1987
Prolog and natural-language analysis. Zbl 0684.68010
Pereira, Fernando C. N.; Shieber, Stuart M.
12
1987
The semantics of destructive LISP. Zbl 0678.68003
Mason, Ian A.
4
1986
all top 5

Cited by 812 Authors

9 Goldblatt, Robert Ian
8 Bimbó, Katalin
8 Dunn, Jon Michael
8 Policriti, Alberto
7 Moss, Lawrence S.
6 Brady, Ross Thomas
6 Hartonas, Chrysafis
6 Raftery, James G.
5 Buszkowski, Wojciech
5 Mares, Edwin D.
5 Milius, Stefan
5 Prijatelj, Andreja
5 Rybakov, Vladimir Vladimirovich
5 Suppes, Patrick
5 van Benthem, Johan F. A. K.
5 van Ditmarsch, Hans Pieter
5 Venema, Yde
5 Weber, Zach
5 Wolter, Frank
4 Balbiani, Philippe
4 Carnielli, Walter Alexandre
4 de Barros, Jose Acacio
4 De Groot, Jim
4 Dovier, Agostino
4 Kamide, Norihiro
4 Kooi, Barteld Pieter
4 Krause, Décio
4 Kurz, Alexander
4 Negri, Sara
4 Pattinson, Dirk
4 Pfeifer, Niki
4 Rutten, Jan J. M. M.
4 Schumann, Andrew
4 Standefer, Shawn
4 Takemura, Ryo
4 Tomescu, Alexandru Ioan
4 van der Hoek, Wiebe
4 Verbrugge, Rineke
3 Adámek, Jiří
3 Aerts, Diederik Emiel
3 Andréka, Hajnal
3 Barwise, Kenneth Jon
3 Cercone, Nick J.
3 Gilio, Angelo
3 Honsell, Furio
3 Jacobs, Bart
3 Kanovich, Max Iosifovich
3 Kaufmann, Stefan-Harald
3 Kešelj, Vlado
3 Lenisa, Marina
3 Lismont, Luc
3 Litak, Tadeusz
3 Németi, István
3 Olarte, Carlos
3 Over, David E.
3 Paulson, Lawrence Charles
3 Piazza, Carla
3 Pimentel, Elaine
3 Pym, David J.
3 Robles, Gemma
3 Sant’Anna, Adonai S.
3 Sato, Kentaro
3 Sazonov, Vladimir Yu.
3 Smolka, Gert
3 Tedder, Andrew
3 Urquhart, Alasdair
3 Velebil, Jiří
3 Wang, Guojun
3 Wansing, Heinrich Theodor
3 Yang, Eunsuk
3 Zenker, Frank
2 Abramsky, Samson
2 Aczel, Peter
2 Adam-Day, Bea
2 Akman, Varol
2 Alberucci, Luca
2 Apt, Krzysztof Rafal
2 Arkoudas, Konstantine
2 Avron, Arnon
2 Bacon, Andrew
2 Beall, Jc
2 Bellè, Dorella
2 Bezhanishvili, Guram
2 Bezhanishvili, Nick
2 Béziau, Jean-Yves
2 Blok, Willem Johannes
2 Blute, Richard F.
2 Booth, David
2 Butz, Carsten
2 Cantone, Domenico
2 Capretta, Venanzio
2 Celani, Sergio Arturo
2 Cockett, J. Robin B.
2 de Oliveira, Anjolina Grisi
2 De Queiroz, Ruy José Guerra Barretto
2 Debart, Françoise
2 Docherty, Simon
2 Engelfriet, Joeri
2 Enjalbert, Patrice
2 Esser, Olivier
...and 712 more Authors
all top 5

Cited in 103 Journals

70 Theoretical Computer Science
64 Journal of Philosophical Logic
35 Synthese
33 Notre Dame Journal of Formal Logic
32 Studia Logica
27 Annals of Pure and Applied Logic
22 Journal of Logic, Language and Information
21 The Journal of Symbolic Logic
20 Artificial Intelligence
19 Journal of Applied Non-Classical Logics
16 Journal of Applied Logic
14 Logica Universalis
12 Information and Computation
10 Journal of Automated Reasoning
10 The Bulletin of Symbolic Logic
9 The Review of Symbolic Logic
7 History and Philosophy of Logic
6 Journal of Mathematical Psychology
6 Archive for Mathematical Logic
6 Annals of Mathematics and Artificial Intelligence
6 Topoi
6 Erkenntnis
6 Foundations of Science
5 Information Sciences
5 Journal of Pure and Applied Algebra
5 Journal of Symbolic Computation
5 International Journal of Approximate Reasoning
5 Mathematical Logic Quarterly (MLQ)
5 Logical Methods in Computer Science
4 The Mathematical Intelligencer
4 New Generation Computing
4 Theory and Practice of Logic Programming
3 Computers & Mathematics with Applications
3 Information Processing Letters
3 Mathematical Social Sciences
3 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics
3 Journal of Logical and Algebraic Methods in Programming
2 International Journal of Theoretical Physics
2 Algebra Universalis
2 Transactions of the American Mathematical Society
2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
2 MSCS. Mathematical Structures in Computer Science
2 Artificial Intelligence Review
2 Aequationes Mathematicae
2 RAIRO. Theoretical Informatics and Applications
2 Logic and Logical Philosophy
2 Foundations of Physics
2 Science in China. Series F
2 European Journal for Philosophy of Science
1 Acta Informatica
1 The American Statistician
1 Archive for History of Exact Sciences
1 The Canadian Journal of Statistics
1 Journal of Mathematical Analysis and Applications
1 Journal of Statistical Physics
1 Lithuanian Mathematical Journal
1 Mathematical Notes
1 Russian Mathematical Surveys
1 Mathematics of Computation
1 Journal of Computational and Applied Mathematics
1 Linguistics and Philosophy
1 Publications de l’Institut Mathématique. Nouvelle Série
1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste
1 Studies in Applied Mathematics
1 Theory and Decision
1 Topology and its Applications
1 Acta Applicandae Mathematicae
1 Order
1 Journal of Computer Science and Technology
1 Algorithmica
1 International Journal of Intelligent Systems
1 Mathematical and Computer Modelling
1 Formal Aspects of Computing
1 International Journal of Algebra and Computation
1 Discrete Event Dynamic Systems
1 International Journal of Computer Mathematics
1 Linear Algebra and its Applications
1 Distributed Computing
1 Applied Categorical Structures
1 The Journal of Artificial Intelligence Research (JAIR)
1 The Ramanujan Journal
1 Theory of Computing Systems
1 Soft Computing
1 Data Mining and Knowledge Discovery
1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 International Journal of Applied Mathematics and Computer Science
1 Journal of Mathematical Logic
1 Lobachevskii Journal of Mathematics
1 Integers
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 International Studies in the Philosophy of Science
1 Computer Languages, Systems & Structures
1 Journal of Multiple-Valued Logic and Soft Computing
1 Fuzzy Optimization and Decision Making
1 Foundations of Physics Letters
1 Mathematics in Computer Science
1 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications
1 RAIRO. Theoretical Informatics and Applications
1 Philosophy Compass
1 Nôus
...and 3 more Journals

Citations by Year