Dov M Gabbay

Address

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

Email: dov.gabbay@kcl.ac.uk

Research Interests

Logic and Computation
Dynamics of Practical Reasoning
Proof Theory and Goal-directed Theorem Proving
Non-classical Logics and Non-monotonic Reasoning
Labelled Deductive Systems
Fibring Logics
Logical Modelling of Natural Language

Publications

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 .