Dov M. Gabbay

Jan 1, 1996

Labelled Deductive Systems (Oxford Logic Guides, #33) (Oxford Logic Guides; Oxford Science Publications)

Jul 21, 1994

Temporal Logic: Volume 1 (Temporal Logic, #28) (Oxford Logic Guides, #28)

Mar 17, 1994

Volume 2: Deduction Methodologies (Handbook of Logic in Artificial Intelligence and Logic Programming)

Mar 17, 1994

Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning (Handbook of Logic in Artificial Intelligence and Logic Programming)

Jun 24, 1993

Volume 1: Logic Foundations (Handbook of Logic in Artificial Intelligence and Logic Programming)

Jun 1, 1993

Elementary Logics (Ellis Horwood Series in Artificial Intelligence)

Mar 31, 1981

Semantical Investigations in Heyting's Intuitionistic Logic (Synthese Library, #148)

Sep 30, 1976

Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics (Synthese Library, #92)