Abstract
In the course of three decades of research in logic, Dov Gabbay has put forward several research themes and methodologies which have had strong influence over the pure and applied logic community. In what follows we shall list them briefly and explain the basic ideas.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Dov M. Gabbay. Semantic proof of the Craig interpolation theorem for intuitionistic logic and extensions, part I. In Proceedings of the 1969 Logic Colloquium in Manchester, pages 391–401. North-Holland Publishing Co., 1969.
Dov M. Gabbay. Semantic proof of the Craig interpolation theorem for intuitionistic logic and extensions, part II. In Proceedings of the 1969 Logic Colloquium in Manchester, pages 403–410. North-Holland Publishing Co., 1969. Note: The methods used to prove interpolation in the papers including [1, 2, 5, 37] seem to be general enough to be applied in categorial context, as shown by Makkai 25 years later.
Dov M. Gabbay. The decidability of the Kreisel-Putnam system. Journal of Symbolic Logic, 35: 431–437, 1970.
Dov M. Gabbay. Selective filtration in modal logics. Theoria, 36:323–330, 1970. Note: This is part of a series of papers studying the finite model property in modal and intuitionistic logics. These methods give improved completeness theorems and can help showing decidability. Other related papers are [3, 6, 7, 12, 16, 22].
Dov M. Gabbay. Craig’s interpolation theorem for modal logics. In W. Hodges, editor, Proceedings of the Logic Conference, London, pages 111–128. Springer Verlag, 1970.
Dov M. Gabbay. On decidable finitely axiomatizable modal and tense logics without the finite model property, part I. Israel Journal of Mathematics, 10: 478–495, 1971.
Dov M. Gabbay. On decidable finitely axiomatizable modal and tense logics without the finite model property, part II. Israel Journal of Mathematics, 10: 496–503, 1972.
Dov M. Gabbay. Montague type semantics for modal logics with propositional quantifiers. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 17: 245–249, 1971.
Dov M. Gabbay. Decidability results in non-classical logic III (systems with statability operators). Israel Journal of Mathematics, 10: 135–146, 1971.
Dov M. Gabbay. Tense systems with discrete moments of time. Journal of Philosophical Logic, 1: 35–44, 1972.
Dov M. Gabbay. Model theory for intuitionistic logic. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 18: 49–54, 1972.
Dov M. Gabbay. Applications of trees to intermediate logics I. Journal of Symbolic Logic, 37: 135–138, 1972.
Dov M. Gabbay. Sufficient conditions for the undecidability of intuitionistic theories with applications. Journal of Symbolic Logic, 37:375–384, 1972. Note: This paper outlines a method for proving undecidability of many intuitionistic theories. Related papers are [18, 28, 36, 99].
Dov M. Gabbay. Decidability of some intuitionistic predicate theories. Journal of Symbolic Logic, 37: 579–587, 1972.
Dov M. Gabbay. A general theory of the conditional in terms of a ternary operator. Theoria, 38: 97–105, 1972.
Dov M. Gabbay. A general filtration method for modal logics. Journal of Philosophical Logic, 10: 135–146, 1972.
Dov M. Gabbay. A survey of decidability results for modal tense and intermediate logics. In P. Suppes et al, editors, Proceedings of the Fourth International Congress on Logic, Methodology and Philosophy of Science, pages 29–43. North-Holland Publishing Co, 1973.
Dov M. Gabbay. The undecidability of intuitionistic theories of algebraically closed fields and real closed fields. Journal of Symbolic Logic, 38: 86–92, 1973.
Dov M. Gabbay. Applications of Scott's notion of consequence to the study of general binary intensional connectives and entailment. Journal of Philosophical Logic, 2: 340–351, 1973.
Dov M. Gabbay. Representation of the Montague semantics as a form of the Suppes semantics with applications to the problem of the introduction of the passive voice, the tenses, and negation as transformations. In K. J. J. Hintikka et al, editors, Approaches to Natural Language, pages 395–409. D. Reidel, 1973.
Dov M. Gabbay and Julius M. E. Moravcsik. Sameness and individuation. Journal of Philosophy, 70: 513–526, 1973.
Dov M. Gabbay and Dick H. de Jongh. A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property. Journal of Symbolic Logic, 39: 67–79, 1974.
Dov M. Gabbay. On 2nd order intuitionistic propositional calculus with full comprehension. Archiv für Mathematische Logik und Grundlagenforschung, 16: 177–186, 1974.
Dov M. Gabbay. A generalization of the concept of intensional semantics. Philosophia, 4: 251–270, 1974.
Dov M. Gabbay and Julius M. E. Moravcsik. Branching quantifiers, English, and Montague grammar. Theoretical Linguistics, 1: 139–157, 1974.
Dov M. Gabbay. Tense logics and the tenses of English. In J. M. E. Moravcsik, editor, Readings in Logic, pages 177–186. Mouton Publishing Co., 1974. Note: This is part of a series of papers analyzing logical structures in natural language and English. Other papers are [21, 25, 34, 35, 39, 40, 41, 43, 44, 46, 49].
Dov M. Gabbay. A normal logic that is complete for neighbourhood frames but not for Kripke frames. Theoria, 41: 145–153, 1975.
Dov M. Gabbay. The decision problem for finite extensions of the intuitionistic theory of abelian groups. Studia Logica, 34: 59–67, 1975.
Dov M. Gabbay. Model theory of tense logics. Annals of Mathematical Logic, 8: 185–236, 1975.
Dov M. Gabbay. Decidability results in non-classical logics I. Annals of Mathematical Logic, 8:237–295, 1975. Note: This paper outlines a general method for proving decidability and undecidability for non-classical logical systems. The method is based on Rabin’s results on SωS and uses a variety of semantical and syntactical interpretations. It is the main, most powerful and most extensive method for solving the decision problem in the area of non-classical logics. Related papers which widely extend and develop the methods are [3, 6, 7, 13, 14, 17, 18, 22, 28] and [36].
Dov M. Gabbay. Investigations in Modal and Tense Logics with Applications, volume 92 of Synthese. D. Reidel, 1976. Note: The main research thrust of this monograph is to present comprehensive methods for proving decidability and undecidability for modal and temporal systems. General theorems are proved on the one hand and new classification and semantical characterizations are given to many logics in order to show that they satisfy these general theorems. Counterexamples are constructed to show the limitations of various methods. The book also lays the mathematical and conceptual foundations for non-classical logics.
Dov M. Gabbay. Completeness properties of Heyting’s predicate calculus with respect to RE models. Journal of Symbolic Logic, 41:81–95, 1976. Note: This paper studies the possibility of providing constructive semantics for intuitionistic and non-classical logics. It shows that results depend very much on formulation. The related paper is [33].
Dov M. Gabbay. On Kreisel’s notion of validity in Post systems. Studia Logica, 35: 285–295, 1976.
Dov M. Gabbay. Two dimensional propositional tense logic. In A. Kasher, editor, Bar-Hillel Memorial Volume, pages 145–183. D. Reidel, 1976.
Dov M. Gabbay and Asa Kasher. On the semantics and pragmatics of specific and non-specific indefinite expressions. Theoretical Linguistics, 3: 145–190, 1976.
Dov M. Gabbay. Undecidability of intuitionistic theories formulated with the apartness relation. Fundamenta Mathematica, 97: 57–69, 1977.
Dov M. Gabbay. Craig’s theorem for Intuitionistic Logic III. Journal of Symbolic Logic, 42: 269–271, 1977.
Dov M. Gabbay. A new version of Beth semantics. Journal of Symbolic Logic, 42: 306–309, 1977.
Dov M. Gabbay and Asa Kasher. On the quantifier there is a certain X. In Proceedings of the International Workshop on the Cognitive Viewpoint, pages 329–334, 1977. Appeared also in [40].
Asa Kasher and Dov M. Gabbay. On the quantifier there is a certain X. Communication and Cognition, 10: 71–78, 1977.
Asa Kasher and Dov M. Gabbay. Improper definite descriptions: Linguistic performance and logical spaces. Hebrew Philosophical Quarterly, 27: 74–89, 1977.
Dov M. Gabbay. On some new intuitionistic propositional connectives I. Studia Logica, 36: 127–139, 1977.
Dov M. Gabbay and Julius M. E. Moravcsik. Negation and denial. In F. Guenthner and C. Rohrer, editors, Studies in Formal Semantics, pages 251–265. North Holland Pub Co, 1978.
Dov M. Gabbay. A tense system with split truth table. Logique et Analyse, 21: 5–39, 1978.
Dov M. Gabbay. What is a classical connective? Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 24: 37–44, 1978.
Dov M. Gabbay and Christian Rohrer. Relative tenses. In C. Rohrer, editor, Papers on Tense, Aspect and Verb Classification, pages 99–111. TBL Verlag G Narr, Tübingen, 1978.
Dov M. Gabbay and Christian Rohrer. Do we really need tenses other than future and past? In A. Van Stechow R. Bauerli, U. Ugli, editors, Semantics from Different Points of View, pages 15–21. Springer Verlag, 1979.
Dov M. Gabbay, Amir Pnueli, Saharon Shelah, and Jonathan Stavi. On the temporal analysis of fairness. In Conference Record of the 7th Annual ACM Symposium on Principles of Programming Languages, Las Vegas, pages 163–173, 1980. Note: Outlines the way to use temporal logic as a tool in software engineering, for program specification and verification. It contains results on axiomatization and decision problems and is one of the standard quoted papers in the area.
Dov M. Gabbay and Julius M. E. Moravcsik. Verbs, events, and the flow of time. In C. Rohrer, editor, Time, Tense and Quantifiers, pages 59–83. Niemeyer, Tübingen, 1980.
Dov M. Gabbay. Semantical Investigations in Heytings’s Intuitionistic Logic, volume 148 of Synthese Library. D. Reidel, 1981. Note: This monograph uses semantical methods to study intuitionistic and various neighbouring systems. It develops their mathematical model theory and finite model property and studies their proof theory and interpolation properties. It further applies the methods of book 1, to obtain decidability and undecidability results for intuitionistic algebraic theories.
Dov M. Gabbay. An irreflexivity lemma with applications to axiomatizations of conditions on tense frames. In U. Monnich, editor, Aspects of Philosophical Logic, pages 67–89. D Reidel, 1981. Note: This paper introduces the — what is now known as — Gabbay’s Irreflexivity Rule. The idea has been taken on-board and pursued by many authors. Many systems can be formulated without this rule. Its full nature is not yet fully understood.
Dov M. Gabbay. Expressive functional completeness in tense logic. In U. Monnich, editor, Aspects of Philisophical Logic, pages 91–117. D Reidel, 1981. Note: This paper introduces the separation methods of studying expressive power of temporal languages. Besides deep theoretical results and inter-connections with other areas of logic it gives a practical way for any software engineering user of temporal and modal logic to test and adjust the expressive power of his system. Further papers on the expressive properties of temporal logics are [44, 51] and [61].
Dov M. Gabbay and Franz Guenthner. A note on systems of n-dimensional tense logics. In T. Pauli, editor, Essays Dedicated to L. Aqvist, pages 63–71. 1982.
Dov M. Gabbay. Intuitionistic basis for non-monotonic logic. In D. W. Loveland, editor, Proceedings of CADE-6, LNCS, Vol. 138, pages 260–273. Springer-Verlag, 1982. Note: This paper started the area now known as the intuitionistic approach to non-monotonicity. It is now a chapter in most monographs on the subject. Another paper on this topic is [62].
Dov M. Gabbay and Uwe Reyle. N-Prolog: An extension of prolog with hypothetical implications I. Journal of Logic Programming, 1: 319–355, 1984.
Dov M. Gabbay. Theoretical foundations for non-monotonic reasoning. In K. Apt, editor, Expert Systems, Logics and Models of Concurrent Systems, pages 439–459. Springer-Verlag, 1985. Note: This paper, which has had a strong following, proposes an answer to the question: what is a non-monotonic system? It gives axiomatic conditions on the notion of consequence relation, which characterizes it as a non-monotonic logic. Further papers in this area are [54, 62, 80] and [100]. This paper started the area now known as “Axiomatic” non-monotonic reasoning. Related papers asking similar “what is” questions are [45, 59, 106, 125].
Dov M. Gabbay. N-prolog: An extension of prolog with hypothetical implications II, logic foundations, and negation as failure. Journal of Logic Programming, 2:251–283, 1985. Note: This paper is the first in a series in reformulating classical and non-classical logic in a goal directed way. It initiates the program, continued in other papers of re-evaluating the notions of logic and proof theory in the light of applications of logic in Information Technology. Further papers are [55, 59, 60, 103, 67, 94, 112] and summarized in [86].
Dov M. Gabbay and Marek J. Sergot. Negation as inconsistency. Journal of Logic Programming, 4: 1–35, 1986.
Dov M. Gabbay. What is negation in a system? In F. R. Drake and J. K. Truss, editors, Logic Colloquium ′86, pages 95–112. Elsevier Science Publishers (North Holland), 1986.
Dov M. Gabbay. Modal and temporal logic programming. In A. Galton, editor, Temporal Logics and Their Applications, pages 197–237. Academic Press, 1987. Note: A basic paper showing what the Horn clause fragment of temporal logic looks like and how to identify such fragments in non-classical logics. Other related papers are [65] and [84].
Dov M. Gabbay and Amihud Amir. Preservation of expressive completeness in temporal models. Information and Computation, 72: 66–83, 1987.
Mike Clarke and Dov M. Gabbay. An intuitionistic basis for non-monotonic reasoning. In P. Smets, editor, Automated Reasoning for Non-standard Logic, pages 163–179. Academic Press, 1987.
Dov M. Gabbay. The declarative past and imperative future. In H. Barringer, editor, Proceedings of the Colloquium on Temporal Logic and Specifications, LNCS, Vol. 398, pages 409–448. Springer-Verlag, 1989. Note: Proposes temporal logic as a framework for handling time phenomena in computing. Shows that temporal logic can serve as a unifying background for the declarative and imperative paradigms in programming. The basic intuition it develops, all backed by mathematical logic, is that future statements can be read both declaratively (as describing what will happen) and imperatively as commands to go ahead and make it happen. A specific temporal logic is proposed, its mathematical properties studied and its range of applicability is demonstrated. Further papers are [65, 64, 82, 69, 71, 78, 79, 84, 87] and [90].
Howard Barringer, Dov M. Gabbay, Michael Fisher, Graham Gough, and Richard P. Owens. METATEM: A framework for programming in temporal logic. In REX Workshop on Stepwise Refinement of Distributed Systems: Models, For-malisms, Correctness. Mook, Netherlands. LNCS Vol. 430, pages 94–129. Springer-Verlag, 1989.
Dov M. Gabbay. Modal and temporal logic programming II (a temporal logic programming machine). In R. P. Owens T. Dodd and S. Torrance, editors, Logic Programming — Expanding the Horizon, pages 82–123. Blackwells, 1990.
Dov M. Gabbay and Ian Hodkinson. An axiomatization of the temporal logic with until and since over the real numbers. Journal of Logic and Computation, 1: 229–260, 1990.
Dov M. Gabbay and Prank Kriwaczek. A family of goal directed theorem provers, part I, based on conjunction and implications. The Journal of Automated Reasoning, 7: 511–536, 1991.
Dov M. Gabbay and Anthony Hunter. Making inconsistency respectable, part I. In P. Jorrand and J. Kelemen, editors, Fundamental of Artificial Intelligence Research (FAIR ′91). Lecture Notes in Artificial Intelligence, Vol. 535, pages 19–32. Springer Verlag, 1991.
Dov M. Gabbay, Ian Hodkinson, and Anthony Hunter. Using the temporal logic RDL for design specifications. In A. Yonezawa and T. Ito, editors, Concurrency: Theory, Language and Architecture, LNCS Vol. 49, pages 64–78. Springer-Verlag, 1991.
Dov M. Gabbay. Modal provability interpretation for negation by failure. In P. Schroeder-Heister, editor, Extensions of Logic Programming. LNCS Vol. 475, pages 179–222. Springer-Verlag, 1991.
Howard Barringer, Dov M. Gabbay, Michael Fisher, and Anthony Hunter. Meta reasoning in executable temporal logic. In E. Sandewall J. Allen, R. Fikes, editors, Proceedings of KR′91, pages 40–49. Morgan Kaufmann, 1991.
Dov M. Gabbay, Els Laenens, and Dirk Vermehr. Credulous vs. sceptical semantics for ordered logic programs. In E. Sandewall J. Allen, R. Fikes, editors, Proceedings of KR′91, pages 208–217. Morgan Kaufmann, 1991.
Dov M. Gabbay. Algorithmic proof with diminishing resources, part I. In E. Boerger, H. K. Buening, M. Richter, and W. Schoenefeld, editors, Proceedings of Computer Science Logic (CSL ′90), LNCS Vol. 533, pages 156–173. Springer-Verlag, 1991.
Dov M. Gabbay. Abduction in labelled deductive systems; a conceptual abstract. In R. Kruse and P. Siegel, editors, Proceedings of the European Conference on Symbolic and Quantitative Approaches for Uncertainty, 91, LNCS, Vol. 548, pages 3–12. Springer Verlag, 1991.
Jim Cunningham, Dov M. Gabbay, and Hans Jürgen Ohlbach. Towards the MEDLAR framework. In ESPRIT 91 Conference Proceedings, pages 822–841, Directorate-General Telecommunications, Information Industries and Innovation, L-2920 Luxembourg, 1991. Comission of the European Communities.
Dov M. Gabbay and Ruth Kempson. Natural language content and information flow; a proof theoretic perspective — preliminary report. In P. Dekker and M. Stokhof, editors, Proceedings of The Eigth Amsterdam Colloquium, pages 173–196. ILLC, Amsterdam, 1991.
A Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, and Bashar Nuseibeh. Inconsistency handling in multi-perspective specifications. In Axel van Lamsweerde and Alfonso Fugetta, editors, Proceedings of the European Conference on Software Engineering, LNCS Vol. 550, pages 569–578. Springer Verlag, 1991.
Dov M. Gabbay and Richard Owens. Temporal logics for real-time systems. In Proceedings of the IMACS Symposium on the Modelling and Control of Technological Systems ′91, pages 97–103, 1991.
Dov M. Gabbay and Peter McBrien. Temporal logic and historical databases. In Proceedings of the 17th International Conference on Very Large Databases, Barcelona ′91, pages 423–430. Morgan Kaufmann Publishers, Inc., 1991.
Dov M. Gabbay. Theoretical foundations for non-monotonic reasoning part II: Structured non-monotonic theories. In B. Mayoh, editor, Proceedings of SCAI′91, pages 19–40. IOS Press, 1991.
Dov M. Gabbay. Temporal logic, tense or non-tense? In R. Spencer-Smith and S. Torrance, editors, Machinations. Computational Studies of Logic, Language and Cognition, pages 1–30. Ablex Publishing Co., 1992. Inaugural lecture at Imperial College, 17 May 1988.
Dov M. Gabbay and Howard Barringer. The imperative future: Past successes implies future action. A survey position paper. In Y. N. Moschovakis, editor, Proceedings of the Logic from Computer Science, pages 1–16. Springer-Verlag, 1992.
Dov M. Gabbay, Donald Gillies, Anthony Hunter, Steve Muggleton, Y Ng, and Barry Richards. The rule-based systems project: Using confirmation theory and non-monotonic logics for incremental learning. In S. Muggleton, editor, Inductive Logic Programming, pages 213–229. Academic Press, 1992.
Dov M. Gabbay. Metalevel features in the object level: Modal and temporal logic programming III. In L. Fariñas del Cerro and M. Penttonen, editors, Non-classical Logic Programming, pages 85–124. Oxford University Press, 1992.
Dov M. Gabbay and Ruy de Queiroz. Extending the Curry-Howard interpretation to linear, relevant and other resource logics. Journal of Symbolic Logic, 57: 1319–1366, 1992.
Dov M. Gabbay. Elements of algorithmic proof theory. In T. Maibaum S. Abramsky, D. Gabbay, editor, Handbook of Logic in Theoretical Computer Science, Vol 2, pages 307–408. Oxford University Press, 1992.
Dov M. Gabbay and Marcelo Finger. Adding a temporal dimension to a logic system. Journal of Logic, Language and Information, 1: 203–234, 1992.
Dov M. Gabbay and Hans Jürgen Ohlbach. Quantifier elimination in second-order predicate logic. In B. Nebel, C. Rich, and W. Swartout, editors, Principles of Knowledge Representation and Reasoning (KR92), pages 425–435. Morgan Kaufmann, 1992. Short version of [89].
Dov M. Gabbay and Hans Jürgen Ohlbach. Quantifier elimination in second-order predicate logic. South African Computer Journal, 7:35–43, July 1992. Note: This is a seminal paper which is now influential in the AI and the Automated Reasoning community. It provides an algorithm for eliminating second-order quantifiers. It has a wide range of applications especially in the following form: Given two specification languages L1 and L2 and some axioms on how they interact, the algorithm can automatically extract the projected specification on each language alone. This is strongly related to interpolation. The research is continued in [91, 101].
Dov M. Gabbay and Marcelo Finger. Updating atomic information in labelled database systems. In R. Hull J. Biskup, editors, ICDT ′92. Database Theory. 4th International Conference Berlin, LNCS 646, pages 188–200. Springer-Verlag, 1992.
Dov M. Gabbay and Hans Jürgen Ohlbach. From a Hilbert Calculus to its model theoretic semantics. In K. Broda, editor, Proceedings of ALPUK Logic Programming Conference, Springer LCS Series, pages 218–252. Springer-Verlag, 1992.
Dov M. Gabbay. Logic made reasonable. KI (German AI Journal, 3:39–41, September 1992. In German, translated by Jörg Siekmann.
Dov M. Gabbay. How to construct a logic for your application. In H. J. Ohlbach, editor, GWAI-92: Advances in Artificial Intelligence. Proceedings of German AI Conference, LNAI 671, pages 1–30. Springer-Verlag, 1992.
Dov M. Gabbay and Uwe Reyle. Computation with run time skolemisation. Journal of Applied Non-classical Logic, 3: 93–134, 1993.
Dov M. Gabbay, Ian Hodkinson, and Mark A. Reynolds. Temporal expressive completeness in the presence of gaps. In J. Vaananen and J. Oikkonen, editors, Proceedings of Logic Colloquium ′90. Lecture Notes in Logic, Vol. 2, pages 89–121. Springer-Verlag, 1993.
Dov M. Gabbay. Labelled deductive systems: a position paper. In J. Vaananen and J. Oikkonen, editors, Proceedings of Logic Colloquium ′90, Lecture Notes in Logic, Vol. 2, pages 66–88. Springer-Verlag, 1993. Note: This paper proposes a new logic discipline for unifying the currently used classical and non-classical logical system. Since this paper was presented in Helsinki in 1990, many European researchers and projects are using this framework as a unifying theme. A manuscript of a two volume book exists presenting the results. Volume 1 is now published by Oxford University Press (see [122]) Subsequent papers are [74, 85, 90, 92, 93, 104, 105] and [111].
Dov M. Gabbay and Anthony Hunter. Making inconsistency respectable, part II. In S. Seraffín M. Clarke and R. Kruse, editors, Symbolic and quantitative approaches to reasoning and uncertainty: European Conference ECSQARU ′93, Granada, Spain, LNCS Vol. 747, pages 129–136. Springer-Verlag, 1993. Note: A first in a series of papers claiming that inconsistency is good and welcome as long as we know what to do with it. It triggers us to action. Other papers are [77, 98] and [110].
Dov M. Gabbay and Anthony Hunter. Restricted access logics for inconsistent information. In S. Seraffín M. Clarke and R. Kruse, editors, Symbolic and quantitative approaches to reasoning and uncertainty: European Conference ECSQARU ′93, Granada, Spain, LNCS Vol. 747, pages 137–144. Springer-Verlag, 1993.
Dov M. Gabbay and Valentin B. Shehtman. Undecidability of modal and intermediate first-order logics with two individual variables. Journal of Symbolic Logic, 58: 800–823, 1993.
Rolf Nossum and Dov M. Gabbay. Semantical correspondence properties of some modal systems of logic. In E. Sandewall and C. Jansson, editors, Proceedings of Scandinavian Conference on Artificial Intelligence ′93, pages 10–19. IOS Press, 1993. Prize winning paper.
Dov Gabbay. Labelled deductive systems and situation theory. In P. Aczel, D. Israel, Y. Katagin, and S. Peters, editors, Situation Theory and Applications, Vol. 3, pages 89–118. CSLI, 1993.
Uwe Reyle and Dov M. Gabbay. Direct deductive computation on discourse representation structures. Linguistics and Philosophy, 17 (4): 345–390, 1994.
Dov M. Gabbay, Ruth Kempson, and Jeremy Pitt. Labelled abduction and relevance reasoning. In R. Demolombe, editor, Non-standard Queries and non-standard Answers, pages 155–186. Oxford University Press, Studies in Logic and Computation Series, 1994.
Marcello D’Agostino and Dov M. Gabbay. A generalization of analytic deduction via labelled deductive systems, part 1: Basic substructural logics. Journal of Automated Reasoning, 13: 243–281, 1994.
Dov M. Gabbay. What is a logical system. In D. Gabbay, editor, What is a Logical System, pages 181–215. Oxford University, 1994.
Dov M. Gabbay, Ian Hodkinson, and Mark A. Reynolds. Temporal logic: mathematical foundations and computational aspects. Vol. 1., volume 28 of Oxford logic guides. Oxford University Press, Oxford, 1994. Note: This monograph is the standard reference work in the area.
Ben Strulo, Dov M. Gabbay, and Peter Harrison. Temporal logic in a stochastic environment. In A. Szalaz and L. Bloc, editors, Time and Logic, pages 229–248. Univ. of London Press, 1994.
Dov M. Gabbay. Classical vs. non-classical logic. In D. Gabbay, C. J. Hogger, J. A. Robinson, and J. Siekmann, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 2, pages 349–489. Oxford University Press, 1994.
Dov M. Gabbay, Laura Giordano, Alberto Martelli, and Nicola Olivetti. Conditional logic programming. In P. van Hentenryck, editor, Logic Programming, Proceedings of the ICLP-94, pages 272–289. MIT press, 1994.
Dov M. Gabbay. Labelled deductive systems and the informal fallacies. In F. H. Van Eemeren et al, editors, Proceedings of 3rd International Conference on Argumentation, 1994, pages 308–319. The International Center for the Study of Argumentation, 1994.
Klaus Schulz and Dov M. Gabbay. Logic finite automata and constraint logic finite automata. In M. Masuch L. Polos, editor, Applied Logic: How, What and Why, pages 237–286. Kluwer, 1995.
Dov M. Gabbay and Mark A. Reynolds. Towards a computational treatment of time. In D. Gabbay, C. Hogger and J. A. Alan Robinson, editors, Handbook of logic in artificial intelligence and logic programming, Vol. 4, pages 343–428. Oxford University Press, 1995.
Chris Brink, Dov M. Gabbay, and Hans Jürgen Ohlbach. Towards automating duality. Journal of Computers and Mathematics with Applications, 29 (2): 73–90, 1995.
Dov M. Gabbay. Conditional implications and non-monotonic consequence. In L. Fariñas del Cerro, editor, Views on Conditional. A volume in Studies in Logic and Computation, pages 347–369. Oxford University Press, 1995.
Dov M. Gabbay, Laura Giordano, Alberto Martelli, and Nicola Olivetti. Hypothetical updates, priority and inconsistency in a logic programming language. In M. Truszczynski V. W. Marek and A. Nerode, editors, Logic Programming and Non-monotonic Reasoning, LNCS Vol. 928, pages 203–216. Springer Verlag, 1995.
Ruy de Queiroz and Dov M. Gabbay. The functional interpretation of the existential quantifier. Journal of the IGPL, 3 (2/3): 243–290, 1995.
Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, and Richard Owens. METATEM: An introduction. Formal Aspects of Computing, 7 (5): 533–549, 1995.
Dov M. Gabbay and Ian Hodkinson. Temporal logic in context of databases. In J. Copeland, editor, Logic and Reality, Essays on the legacy of Arthur Prior, pages 69–87. Oxford University Press, 1995.
Dov M. Gabbay. Fibred semantics and the weaving of logics,part 2: Fibring nonmonotonic logics. In M. de Rijke L. Csirmaz and D. M. Gabbay, editors, Proceedings of Logic Colloquium 92, SILLI Book Series, pages 75–94. CSLI, 1995.
Dov M. Gabbay. An overview of fibred semantics and the combination of logics. In F. Baader and K. Schulz, editors, Proceedings of FroCoS′96, Frontiers of Combining Systems, pages 1–56. Kluwer, 1996.
Dov M. Gabbay. Labelled Deductive Systems; principles and applications. Vol 1: Introduction. Oxford University Press, 1996.
Dov M. Gabbay, Luigia Carlucci Aiello, Fiora Pirri, and Gianni Amati. A proof theoretical approach to default reasoning 1: tableaux for default logic. Journal of Logic and Computation, 6 (2): 205–235, 1996.
Derek Brough, Michael Fisher, Anthony Hunter, Richard Owens, Howard Barringer, Dov M. Gabbay, Graham Gough, Ian Hodkinson, Peter McBrien, and Mark A. Reynolds. Languages, meta-languages and METATEM, a discussion paper. Journal of the IGPL, 4 (2): 229–246, March 1996.
Dov M. Gabbay and Heinrich Wansing. What is negation in a system, part II. In H. Hans Rott and A. Fuhrman, editors, Logic, Action and Information, pages 328–350. de Gryuter, Berlin, 1996.
Gianni Amati, Luigia Carlucci Aiello, Dov M. Gabbay, and Fiora Pirri. A structural property on modal frames characterizing default logic. Journal of the IGPL, 4 (1): 7–22, 1996.
Dov M. Gabbay, Jon Barwise, and Chris Hartonas. Information flow and the Lambek calculus. In J. Seligman and D. Westerstahl, editors, Logic, Language, and Computation, Vol 1, volume 58 of CSLI Lecture Notes, pages 47–62. CSLI, 1996.
Dov M. Gabbay. Fibred semantics and the weaving of logics, part 1: Modal and intuitionistic logic. Journal of Symbolic Logic, 61:1057–1120, 1996. Note: A revolutionary paper providing methodology for combining systems. Other related papers are [115, 120, 129, 130, 121]. There are several additional papers forthcoming covering topics such as how to make your logic fuzzy by fibring, fibred semantics for free logic and fibred semantics for systems with self reference.
Jochen Dörre, Esther König, and Dov M. Gabbay. Fibred semantics for feature based grammar logic. Journal of Logic Language and Information, 5 (3–4): 387–422, 1996.
Marcelo Finger and Dov M. Gabbay. Combining temporal logic systems. Notre Dame Journal of Formal Logic, 37 (2): 204–232, 1996.
Marcello D’Agostino and Dov M. Gabbay. Fibred tableaux for multi-implicational logic. In P. Miglioli, U. Moscato, D. Mundici, and M. Ornaghi, editors, Theorem Proving with Analytic Tableaux and Related Methods, volume 1071 of Lecture Notes in Artificial Intelligence, pages 16–38. Springer Verlag, 1996.
Dov M. Gabbay and Odinaldo Rodrigues. A methodology for iterated theory change. In D. M. Gabbay and H. J. Ohlbach, editors, Practical Reasoning, International Conference on Formal and Applied Practical Reasoning (FAPR′96), volume 1085 of Lecture Notes in Artificial Intelligence, pages 193–207. Springer Verlag, 1996.
Dov M. Gabbay. How to make your logic fuzzy (preliminary version). Mathware and Soft Computing, 3 (1): 5–16, 1996.
Dov M. Gabbay and Uwe Reyle. Resolution for classical and non-classical logic. Studia Logica, 1996. To appear in a special issue on combining logics.
Ruy J. G. B. de Queiroz and Dov M. Gabbay Labelled natural deduction. In H. J. Ohlbach and U. Reyle, editors, Logic, Language and Reasoning — Essays in Honor of Dov M. Gabbay, pages 201–281. Kluwer Academic Publishers, 1997.
Philippe Besnard, Luis Fariñas del Cerro, Dov M. Gabbay, and Anthony Hunter. Logical handling of default and inconsistent information. In A. Motro and P. Smets, editors, Uncertainty Management in Information Systems — from Needs to Solutions, pages 325–341. Kluwer, 1997.
Dov M. Gabbay and Ruy J. G. B. de Queiroz. The functional interpretation of modal necessity. In M. de Reyke, editor, Advances in Intentional Logic, pages 59–91. Kluwer, 1996.
Dov M. Gabbay, Laura Giordano, Alberto Martelli, and Nicola Olivetti. A language for handling hypothetical updates and inconsistency. Journal of the IGPL, 4 (3): 385–416, 1996.
Marcello d’Agostino, Dov M. Gabbay, and Alessandra Russo. Grafting modalities into substructural implicational logics. Studia Logica, 1997. To appear in a special issue on combining logics.
Ruth Kempson, Dov M. Gabbay, Marcelo Finger, and Roger Kibble. The LDN_NL prototype. In R. de. Queiroz, editor, Proceedings of WOLLIC′96, 1997. To appear.
Marcello d’Agostino, Dov M. Gabbay, and Alessandra Russo. Information frames, implication systems and modalities. Mathware and Soft Computing, 1: 67–82, 1996.
Dov M. Gabbay. Elementary Logic: A Procedural Perspective. Prentice Hall, 1997/98.
Dov M. Gabbay and Franz Guenthner, editors. Handbook of Philosophical Logic, Vol. 1. Elements of Classical Logic, volume 164 of Synthese Library. Kluwer, Dordrecht, 1983.
Dov M. Gabbay and Franz Guenthner, editors. Handbook of Philosophical Logic, Vol. 2: Extensions of Classical Logic, volume 165 of Synthese Library. Kluwer, Dordrecht, 1984.
Dov M. Gabbay and Franz Guenthner, editors. Handbook of Philosophical Logic, Vol. 3: Alternatives to classical logic, volume 166 of Synthese Library. Kluwer, Dordrecht, 1986.
Dov M. Gabbay and Franz Guenthner, editors. Handbook of Philosophical Logic, Vol. 4: Topics in the Philosophy of Language, volume 167 of Synthese Library. Kluwer, Dordrecht, 1989.
Dov M. Gabbay and Michael de Glass, editors. WOCFAI 91, Proceedings of the First International Conference on the Foundations of Artificial Intelligence. Angkor, 1991.
Samson Abramsky, Dov M. Gabbay, and Tom S. E. Maibaum, editors. Handbook of Logic in Computer Science, Vol 1: Background: Mathematical Structures. Oxford Univ. Press, Oxford, 1992.
Samson Abramsky, Dov M. Gabbay, and Tom S. E. Maibaum, editors. Handbook of Logic in Computer Science, Vol 2: Background: Computational Structures. Oxford Univ. Press, Oxford, 1992.
László Csirmaz, Dov M. Gabbay, and Maarten de Rijke, editors. Logic Colloquium 1992. CSLI Publications, August 1992.
Dov M. Gabbay, Chris J. Hogger, and John Alan Robinson, editors. Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 1: Logical Foundations. Oxford Univ. Press, Oxford, 1993.
Dov M. Gabbay, C. J. Hogger, and J. A. Robinson, editors. Handbook of Logic in Artificial Intelligence and Logic Programming, Vol 2: Deduction methodologies. Clarendon Press, Oxford, 1994.
Dov M. Gabbay, Chris J. Hogger, John Alan Robinson, and Jörg Siekmann, editors. Handbook of Logic in Artificial Intelligence and Logic Programming, Vol 3: Nonmonotonic Reasoning and Uncertain Reasoning. Clarendon Press, Oxford, 1994.
Dov M. Gabbay, editor. What is a Logical System? Studies in Logic and Computation. Clarendon Press, Oxford, 1. edition, 1994.
Dov M. Gabbay and Hans Jürgen Ohlbach, editors. Temporal Logic. First International Conference, ICTL′94, Bonn, Germany, July 11–14, 1994- Proceedings, volume LNAI 827 of Lecture Notes in Computer Science. Springer, Berlin, Heidelberg, New York, 1994.
Samson Abramsky, Dov M. Gabbay, and Tom S. E. Maibaum, editors. Handbook of Logic in Computer Science, Vol 3: Semantic Structures. Oxford Univ. Press, Oxford, 1994.
Samson Abramsky, Dov M. Gabbay, and Tom S. E. Maibaum, editors. Handbook of Logic in Computer Science, Vol 4: Semantic Modelling. Oxford Univ. Press, Oxford, 1995.
Dov M. Gabbay, Chris J. Hogger, and John Alan Robinson, editors. Handbook of logic in Artificial Intelligence and Logic Programming, Vol 4: Epistemic and Temporal Reasoning. Clarendon Press, Oxford, 1995.
Howard Barringer, Michael Fisher, Dov M. Gabbay, Richard Owens, and Mark A. Reynolds. The Imperative Future. RS Press, John Wiley, 1996.
Dov M. Gabbay and Hans Jürgen Ohlbach, editors. Practical Reasoning, International Conference on Formal and Applied Practical Reasoning (FAPR ′96), volume 1085 of Lectures Notes in Artificial Intelligence. Springer Verlag, 1996.
Dov M. Gabbay, Chris J. Hogger, and John Alan Robinson, editors. Handbook of Logic in Artificial Intelligence and Logic Programming, Vol 5: Logic Programming. Clarendon Press, Oxford, 1997.
Dov M. Gabbay and Nicola Olivetti. Algorithmic proof methods and cut elimination for implicational logics: part 1, modal logics, 1995. manuscript.
Dov M. Gabbay and Nicola Olivetti. Goal Directed Algorithmic Proof Theory. 1995. Draft available.
Dov M. Gabbay. Self fibring in predicate logics, fibred semantics and the weaving of logics, part 4, 1996. manuscript.
Michael O. Rabin. Decidability of second-order theories and automata on infinite trees. Transactions of AMS, 141: 1–35, 1969.
David Makinson. General patterns in non-monotonic logics. In D. Gabbay, C. Hogger, and A. Robinson, editors, Handbook of Logic in AI and Logic Programming, volume 3, pages 35–110. Clarendon Press, 1994.
Dov M. Gabbay, Mark Reynolds, and Marcelo Finger. Temporal Logic, Volume 2. 1997. in preparation.
Klaus Schulz and Franz Baader, editors. Proceedings of FroCoS′96, Frontiers of Combining Systems. Kluwer, 1996.
Dov M. Gabbay. Fibring Logics. Book manuscript, Imperial College.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Ohlbach, H.J., Reyle, U. (1999). Research Themes of Dov Gabbay. In: Ohlbach, H.J., Reyle, U. (eds) Logic, Language and Reasoning. Trends in Logic, vol 5. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-4574-9_2
Download citation
DOI: https://doi.org/10.1007/978-94-011-4574-9_2
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-5936-7
Online ISBN: 978-94-011-4574-9
eBook Packages: Springer Book Archive