Dov M. Gabbay

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Encoding Two-Valued Nonclassical Logics in Classical Logic

Hans Jürgen Ohlbach and others (2001) · Handbook of Automated Reasoning · Elsevier

Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 1

Dov M. Gabbay and others (1994)