Dov. M. Gabbay profile picture

Dov. M. Gabbay

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Interpolation and Definability: Modal and Intuitionistic Logics
Fibring Logics
Fibring Logics
Interpolation and Definability: Modal and Intuitionistic Logic
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 4: Epistemic and Temporal Reasoning
Temporal Logic: Volume 1
Labelled Deductive Systems: Volume 1
Handbook of Logic in Computer Science: Volume 5
Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies
Handbook of Logic in Computer Science: Volume 3. Semantic Structures
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling
Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning

See All