Dov M. Gabbay

The Textual Inference Rules Klal UPrat. How the Talmud...

Michael Abraham, Dov M. Gabbay, et al.


A New Perspective on Nonmonotonic Logics

Dov M. Gabbay and Karl Schlechta


Synthesis of Concepts in the Talmud

Israel Belfer, Dov M. Gabbay, et al.


Computational Logic


Interpolation and Definability: Modal and Intuitionistic Logics

Dov M. Gabbay and Larisa Maksimova


Many-Dimensional Modal Logics: Theory and Applications

A. Kurucz, F. Wolter, et al.


Labelled Deductive Systems: Volume 1

Dov M. Gabbay


Temporal Logic: Volume 1

Ian Hodkinson, Mark Reynolds, et al.


Fibring Logics

Dov M. Gabbay


Reactive Kripke Semantics

Dov M. Gabbay

We use cookies and similar methods to recognize visitors and remember their preferences. We also use them to help detect unauthorized access or activity that violate our terms of service, as well as to analyze site traffic and performance for our own site improvement efforts. To learn more about these methods, including how to disable them view our Cookie Policy.