Advances in Temporal Logic
Howard Barringer & Michael Fisher & Dov M. Gabbay & Graham Gough
What Is Negation?
Dov M. Gabbay & Heinrich Wansing
Abductive Reasoning and Learning
Dov M. Gabbay & Philippe Smets
Handbook of Philosophical Logic - Volume 7
Dov M. Gabbay & Franz Guenthner
Handbook of Philosophical Logic - Volume 6
Labelled Deduction
David Basin & M. D'Agostino & Dov M. Gabbay & Seán Matthews & Luca Viganò
Handbook of Philosophical Logic: Volume IV: Topics in the Philosophy ...
Philosophy of Complex Systems
Cliff A. Hooker & Dov M. Gabbay & Paul Thagard & John Woods
Philosophy of Information
Dov M. Gabbay & Pieter Adriaans & Paul Thagard & Johan Van Benthem & John Woods
Proof Theory for Fuzzy Logics
George Metcalfe & Nicola Olivetti & Dov M. Gabbay
Mathematical Problems From Applied Logic II: Logics for the ...
Dov M. Gabbay & Sergei Goncharov & Michael Zakharyaschev
Handbook of the History of Logic. Volume 01 Greek, Indian and ...
Dov M. Gabbay & John Woods
Mathematical Problems From Applied Logic I: Logics for the XXIst ...
Dov M. Gabbay & Sergei S. Goncharov & Michael Zakharyaschev
Handbook of Philosophical Logic - Volume 5
Handbook of Philosophical Logic - Volume 3
Goal-Directed Proof Theory
Dov M. Gabbay & N. Olivetti
Labelled Deductive Systems
Dov M. Gabbay
Handbook of Logic in Artificial Intelligence and Logic Programming: ...
Dov M. Gabbay & C. J. Hogger & J. A. Robinson
Dov M. Gabbay & C. J. Hogger & J. A. Robinson & Antony I A. Galton
Handbook of Logic in Computer Science. Volume 1 Background Mathematical ...
Samson Abramsky & Dov M. Gabbay & Thomas S. E. Maibaum