Reactive Kripke Semantics Dov M. Gabbay E-Book (pdf)

Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics Dov M. Gabbay E-Book (pdf)

Semantical Investigations in Heyting's Intuitionistic Logic Dov M. Gabbay E-Book (pdf)