Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics Gabbay, Dov M. Innbundet / 1976 / Engelsk
Semantical Investigations in Heyting's Intuitionistic Logic Gabbay, Dov M. Innbundet / 1981 / Engelsk
Interpolation and Definability Modal and Intuitionistic Logics Gabbay, Dov M. Innbundet / 2005 / Engelsk
Handbook of Philosophical Logic Volume IV: Topics in the Philosophy of Language Gabbay, Dov M. Heftet / 2011 / Engelsk
Mathematical Problems from Applied Logic I Logics for the XXIst Century Gabbay, Dov M. Innbundet / 2005 / Engelsk
Handbook of Defeasible Reasoning and Uncertainty Management Systems Algorithms for Uncertainty and Defeasible Reasoning Gabbay, Dov M. Heftet / 2010 / Engelsk
Handbook of Philosophical Logic Volume III: Alternatives to Classical Logic Gabbay, Dov M. Heftet / 2011 / Engelsk
Mathematical Problems from Applied Logic I Logics for the XXIst Century Gabbay, Dov M. Heftet / 2010 / Engelsk
Handbook of Philosophical Logic Volume II: Extensions of Classical Logic Gabbay, Dov M. Heftet / 2011 / Engelsk
Handbook of Philosophical Logic Volume I: Elements of Classical Logic Gabbay, Dov M. Heftet / 2011 / Engelsk
Handbook of Defeasible Reasoning and Uncertainty Management Systems Algorithms for Uncertainty and Defeasible Reasoning Gabbay, Dov M. Innbundet / 2000 / Engelsk
Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures Abramsky S. Innbundet / 1992 / Engelsk
Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures Abramsky S. Innbundet / 1992 / Engelsk
Practical Reasoning International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings. Gabbay, Dov M. Heftet / 1996 / Engelsk
Temporal Logic First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings Gabbay, Dov M. Heftet / 1994 / Engelsk
Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures Abramsky S. Innbundet / 1992 / Engelsk
Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures Abramsky S. Innbundet / 1992 / Engelsk
