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 Two.
College Publications 2005, ISBN 1-904987-26-5 
- Joseph A. Goguen, Kai Lin:
Specifying, Programming and Verifying with Equational Logic.
1-38
- John Grant, Sarit Kraus, Donald Perlis:
Formal Approaches to Teamwork.
39-68
- Wilfrid Hodges:
Detecting the Logical Content: Burley's 'Purity of Logic'.
69-116
- Ian M. Hodkinson, Mark Reynolds:
Separation - Past, Present, and Future.
117-142
- Dale Jacquette:
Kripke's Modal Objection to the Description Theory of Reference.
143-168
- Jan Willem Klop, Roel C. de Vrijer:
Infinitary Normalization.
169-192
- Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
Modal Logics for Metric Spaces: Open Problems.
193-108
- Daniel Leivant:
Partial Correctness Assertions Provable in Dynamic Logic.
209-224
- Lorenzo Magnani:
Abduction and Cognition in Organic and Logical Agents.
225-258
- David Makinson:
Friendliness for Logicians.
259-292
- Larisa Maksimova:
Interpolation and Joint Consistency.
293-306
- George Metcalfe, Nicola Olivetti:
Goal-Directed Methods for Fuzzy Logics.
307-330
- Alice ter Meulen:
Still.
331-340
- Wilfried Meyer-Viol, Ruth Kempson:
Sequence-Dominance Grammars.
341-370
- Ben C. Moszkowski:
A Hierarchical Analysis of Propositional Temporal Logic based on Intervals.
371-440
- Rolf Nossum:
Nesting Patterns in Fibred Logics of Context.
441-452
- Hans Jürgen Ohlbach:
Modelling Periodic Temporal Notions by Labelled Partitionings - The PartLib Library.
453-498
- Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz:
A New Basic Set of Transformations between Proofs.
499-528
- Gabriella Pigozzi:
Should We Send Him to Prison? Paradoxes of Aggregation and Belief Merging.
529-542
- Amir Pnueli:
Verification of Procedural Programs.
543-590
- Odinaldo Rodrigues:
Iterated Revision and Automatic Similarity Generation.
591-614
- Vladimir V. Rybakov:
Inference in Temporal Next-Time Logic.
615-638
- Erica Melis, Jörg H. Siekmann:
e-Learning Logic and Mathematics: What We Have and What We Need.
639-662
- Valentin B. Shehtman:
On Neighbourhood Semantics 30 years later.
663-692
- Patrick Suppes:
Psychological Nature of Verification of Informal Mathematical Proofs.
693-712
- Jon Williamson:
Objective Bayesian Nets.
713-730
- John Woods:
Epistemic Bubbles.
731-774
Volume 1
Copyright © Mon Nov 2 20:22:09 2009
by Michael Ley (ley@uni-trier.de)
