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