Augustus De Morgan Professor of Logic
Group of Logic, Language and Computation
Department of Computer Science
King's College London
- 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
Kurt Engesser and Dov Gabbay. Quantum logic, Hilbert space, revision theory. Artificial Intelligence, 136(1):61-100, 2002.
Dov Gabbay. Sampling labelled deductive systems. In D. Jacquette, editor, Blackwell's Companion To Philosophical Logic, pages 742-769, Blackwell, 2002.
Dov Gabbay. Temporal Logic and Quantifier Translations. In H. Kamp and U. Reyle, editors, How we say WHEN it happens, pages 231-279, Max Niemeyer Verlag, Tuebingen, 2002.
Dov Gabbay, Agi Kurucz, Frank Wolter, and Michael Zakharyaschev. Many-dimensional modal logics: theory and applications. Elsevier Science, 2002. To appear.
Dov Gabbay and Guillaume Malod. Naming worlds in modal and temporal logic. Journal of Logic, Language and Information, 13(1):3-22, 2002.
Dov Gabbay and Valentin Shehtman. Products of modal logics, Part 3: Products of Modal and Temporal Logics. Studia Logica, 72(2), 2002.
Dov Gabbay and John Woods. Formal approaches to practical reasoning. In D. M. Gabbay, H. J. Ohlbach, J. Woods, and R. Johnson, editors, Handbook of Logic of Argument and Inference: The Turn Toward the Practical, pages 449-481, Elsevier, 2002.
Artur D'Avila Garcez, Krysia Broda, and Dov Gabbay. Neural-Symbolic Learning Systems: Foundations and Applications. Perspectives in Neural Computing, Springer-Verlag, 2002.