Dov M Gabbay


Prof. Dov M Gabbay
Augustus De Morgan Professor of Logic
Group of Logic, Language and Computation
Department of Computer Science
King's College London
Strand, London WC2R 2LS
Tel: +44-(0)20-7848 2930
Fax: +44-(0)20-7240 1071

Research Interests


A comprehensive list of publications and work accepted for publication (as of April 2009) may be found here (see also this page).

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 is available here .