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