Logic Handbooks

• Handbook of Philosophical Logic
  Dov Gabbay and Franz Guenthner (eds.),
  Kluwer Academic Publishers, 1983-89.
  • Vol. 1: Elements of Classical Logic
  • Vol. 2: Extensions of Classical Logic
  • Vol. 3: Alternatives to Classical Logic
  • Vol. 4: Topics in the Philosophy of Language

• Handbook of Philosophical Logic, Second Edition
  Dov Gabbay and Franz Guenthner (eds.),
  Kluwer Academic Publishers, 2001-.
  • Vol. 1
  • Vol. 2
  • Vol. 3
  • Vol. 4
  • Vol. 5
  • Vol. 6
  • Vol. 7
  • Vol. 8
  • Vol. 9
  Further volumes are currently in preparation.

• Handbook of Logic in Computer Science
  Samson Abramsky, Dov Gabbay, and Tom Maibaum (eds.),
  Oxford University Press, 1992-2000.
  • Vol. 1: Background: Mathematical Structures
  • Vol. 2: Background: Computational Structures
  • Vol. 3: Semantic Structures
  • Vol. 4: Semantic Modelling
  • Vol. 5: Algebraic and Logical Structures

• Handbook of Logic in Artificial Intelligence and Logic Programming
  Dov Gabbay, Chris Hogger, and J. Alan Robinson (eds.),
  Oxford University Press, 1993-98
  • Vol. 1: Logic Foundations
  • Vol. 2: Deduction Methodologies
  • Vol. 3: Nonmonotonic Reasoning and Uncertain Reasoning
  • Vol. 4: Epistemic and Temporal Logics
  • Vol. 5: Logic Programming

• Handbook of Defeasible Reasoning and Uncertainty Management Systems
  Dov Gabbay and Philippe Smets (eds.),
  Kluwer Academic Publishers, 1998-2000.
  • Vol. 1: Quantified Representation of Uncertainty and Imprecision
  • Vol. 2: Reasoning with Actual and Potential Contradictions
  • Vol. 3: Belief Change
  • Vol. 4: Abductive Reasoning and Learning
  • Vol. 5: Algorithms for Uncertainty and Defeasible Reasoning

• Handbook of Tableau Methods
  Marcello D'Agostino, Dov Gabbay, Reiner Hähnle, and Joachim Posegga (eds.),
  Kluwer Academic Publishers, 1999.

• Handbook of the History and Philosophy of Logic
  Dov Gabbay and John Woods (eds.),
  in preparation.