Dov Gabbay

Dov M. Gabbay is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London. He has authored over four hundred and fifty research papers and over thirty research monographs. He is editor of several international Journals, and many reference works and Handbooks of Logic.
Ebooks
Neural-Symbolic Cognitive Reasoning
RUB 6,598.47
The Functional Interpretation of Logical Deduction
Book 5
RUB 3,673.23
Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
RUB 13,197.89
Conditionals and Modularity in General Logics
RUB 8,484.02
A Practical Logic of Cognitive Systems: The Reach of Abduction: Insight and Trial
RUB 9,063.00
Fibring Logics
Book 38
RUB 9,198.82
Goal-Directed Proof Theory
RUB 8,484.02
Many-Dimensional Modal Logics: Theory and Applications
Book 148
RUB 8,677.00
Proof Theory for Fuzzy Logics
RUB 10,369.57
Revision, Acceptability and Context: Theoretical and Algorithmic Aspects
RUB 13,197.89
A New Perspective on Nonmonotonic Logics
RUB 8,484.02
Semantical Investigations in Heyting's Intuitionistic Logic
RUB 13,197.89
Philosophy of Psychology and Cognitive Science
RUB 7,713.00
Reactive Kripke Semantics
RUB 8,484.02
Interpolation and Definability: Modal and Intuitionistic Logics
Book 46
RUB 14,460.01
Logical Tools for Handling Change in Agent-Based Systems
RUB 13,197.89