A new book on Compiled Labelled Deductive Systems by Krysia Broda, Dov Gabbay, Luis C. Lamb and Alessandra Russo is now available (click here or here for more information).
A new book on Many-Dimensional Modal Logics by Dov Gabbay, Agnes Kurucz, Frank Wolter, and Michael Zakharyaschev has recently been published by Elsevier (click here for more information).
A pre-final version of the forthcoming book "Interpolation and Definability Volume1" by Dov Gabbay and Larisa Maksimova is available here.
A preliminary draft version of a forthcoming book on Quantification in Nonclassical Logic by Dov Gabbay, Valentin Shehtman, and Dimitrij Skvortsov is available here.
"A New Approach to Quantum Logic" by Dov Gabbay, Kurt Engesser and Daniel Lehmann is available in preliminary draft format here here. Published by College Publications, available to buy through Amazon.
A preliminary draft version of a forthcoming book on Proof Theory of Fuzzy Logics by George Metcalfe, Nicola Olivetti and Dov Gabbay is available here.
Recently published: Neural-Sybmolic Cognitive Reasoning. A. d'Avila Garcez, L. Lamb and D. Gabbay (Springer 2008). Neural-Symbolic Cognitive Reasoning
A preliminary draft version of a forthcoming book
"Logical tools for handling change in agent-based systems"
by Dov Gabbay and Karl Schlechta