60. Birthday: Dov M. Gabbay, 2005

• Samson Abramsky: A Cook's Tour of the Finitary Non-Well-Founded Sets. 1-18 BibTeX
• Sergei N. Artëmov: Existential Semantics for Modal Logic. 19-30 BibTeX
• David Ahn, Sisay Fissaha Adafre, Maarten de Rijke: Recognizing and Interpreting Temporal Expressions in Open Domain Texts. 31-50 BibTeX
• Atocha Aliseda: What is a Logical System? A Commentary. 51-56 BibTeX
• Amihood Amir: Two Glass Balls and a Tower. 57-76 BibTeX
• Carlos Areces, Patrick Blackburn: Reichenbach, Prior and Montague: A Semantic Get-together. 77-88 BibTeX
• Wouter van Atteveldt, Stefan Schlobach: A Modal View on Polder Politics. 89-104 BibTeX
• Arnon Avron: Logical Non-determinism as a Tool for Logical Modularity: An Introduction. 105-124 BibTeX
• Matthias Baaz, Rosalie Iemhoff: On the Proof Theory of the Existence Predicate. 125-166 BibTeX
• Sebastian Bader, Pascal Hitzler: Dimensions of Neural-symbolic Integration - A Structured Survey. 167-194 BibTeX
• Howard Barringer, David E. Rydeheard: Modelling Evolvable Systems: A Temporal Logic View. 195-228 BibTeX
• Johan van Benthem: Open Problems in Logic and Games. 229-264 BibTeX
• Alexander Bochman: Nonmonotonic Reasoning. 265-308 BibTeX
• Krysia Broda, Alessandra Russo: Compiled Labelled Deductive Systems for Access Control. 309-338 BibTeX
• Peter Bruza, Richard J. Cole: Quantum Logic of Semantic Space: An Exploratory Investigation of Context Effects in Practical Reasoning. 339-362 BibTeX
• Carlos Caleiro, Amílcar Sernadas, Cristina Sernadas: Fibring Logics: Past, Present and Future. 363-388 BibTeX
• Walter Alexandre Carnielli, Marcelo E. Coniglio: Splitting Logics. 389-414 BibTeX
• Ariel Cohen, Michael Kaminski, Johann A. Makowsky: Indistinguishability by Default. 415-428 BibTeX
• Marcello D'Agostino: Classical Natural Deduction. 429-468 BibTeX
• Artur S. d'Avila Garcez, Luís C. Lamb: Neural-Symbolic Systems and the Case for Non-Classical Reasoning. 469-488 BibTeX
• Anuj Dawar: How Many First-order Variables are Needed on Finite Ordered Structures? 489-520 BibTeX
• Jürgen Dix, Ugur Kuter, Dana S. Nau: Planning in Answer Set Programming using Ordered Task Decomposition. 521-576 BibTeX
• Kosta Dosen, Zoran Petric: Negation and Involutive Adjunctions. 577-586 BibTeX
• Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade: Modal Tableaux: Completeness vs. Termination. 587-614 BibTeX
• Paolo Ferraris, Vladimir Lifschitz: Mathematical Foundations of Answer Set Programming. 615-664 BibTeX
• Melvin Fitting: A Mistake on My Part. 665-670 BibTeX
• Marcelo Finger: DAG Sequents with Substitution. 671-686 BibTeX
• Chris Fox, Shalom Lappin: Polymorphic Quantifiers and Underspecification in Natural Language. 687-700 BibTeX
• Michael Gabbay, Murdoch Gabbay: Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction and Goal-Directed Reasoning. 701-730 BibTeX
• Murdoch Gabbay, Michael Gabbay: a-logic. 731-764 BibTeX