More by Dov M. Gabbay
Reactive Kripke Semantics
Fibring Logics
Book 38
Semantical Investigations in Heyting's Intuitionistic Logic
Book 148
Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
Book 92
Conditionals and Modularity in General Logics
Logical Tools for Handling Change in Agent-Based Systems
A New Perspective on Nonmonotonic Logics
Interpolation and Definability: Modal and Intuitionistic Logics
Book 46
Philosophy of Psychology and Cognitive Science
Neural-Symbolic Cognitive Reasoning
A Practical Logic of Cognitive Systems: The Reach of Abduction: Insight and Trial
Goal-Directed Proof Theory
Book 21
Proof Theory for Fuzzy Logics
Book 36
Many-Dimensional Modal Logics: Theory and Applications
Book 148
Handbook of the Logic of Argument and Inference: The Turn Towards the Practical
Book 1
The Functional Interpretation Of Logical Deduction
Book 5