Abductive Reasoning and Learning
Dov M. Gabbay & Philippe Smets
Advances in Temporal Logic
Howard Barringer & Michael Fisher & Dov M. Gabbay & Graham Gough
Goal-Directed Proof Theory
Dov M. Gabbay & N. Olivetti
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
Handbook of Philosophical Logic - Volume 1
Dov M. Gabbay & Franz Guenthner
Handbook of Philosophical Logic - Volume 10
Handbook of Philosophical Logic - Volume 11
Handbook of Philosophical Logic - Volume 2
Handbook of Philosophical Logic - Volume 3
Handbook of Philosophical Logic - Volume 4
Handbook of Philosophical Logic - Volume 5
Handbook of Philosophical Logic - Volume 6
Handbook of Philosophical Logic - Volume 7
Handbook of Philosophical Logic - Volume 8
Handbook of Philosophical Logic - Volume 9
Handbook of Philosophical Logic: Volume IV: Topics in the Philosophy ...
Handbook of the History of Logic. Volume 01 Greek, Indian and ...
Dov M. Gabbay & John Woods
Labelled Deduction
David Basin & M. D'Agostino & Dov M. Gabbay & Seán Matthews & Luca Viganò