Handbook of Philosophical Logic - Volume 1
Dov M. Gabbay & Franz Guenthner
Handbook of Logic in Computer Science. Volume 1 Background Mathematical ...
Samson Abramsky & Dov M. Gabbay & Thomas S. E. Maibaum
Handbook of Logic in Artificial Intelligence and Logic Programming: ...
Dov M. Gabbay & C. J. Hogger & J. A. Robinson & Antony I A. Galton
Dov M. Gabbay & C. J. Hogger & J. A. Robinson
Goal-Directed Proof Theory
Dov M. Gabbay & N. Olivetti
Advances in Temporal Logic
Howard Barringer & Michael Fisher & Dov M. Gabbay & Graham Gough
Abductive Reasoning and Learning
Dov M. Gabbay & Philippe Smets