Skip to main content
SpringerLink
Log in
Book cover

Logic, Language and Reasoning pp 13–30Cite as

Research Themes of Dov Gabbay

  • Chapter

  • 414 Accesses

Part of the book series: Trends in Logic ((TREN,volume 5))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. Dov M. Gabbay. The decidability of the Kreisel-Putnam system. Journal of Symbolic Logic, 35: 431–437, 1970.

    Article  Google Scholar 

  4. 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].

    Google Scholar 

  5. 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.

    Google Scholar 

  6. 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.

    Article  Google Scholar 

  7. 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.

    Google Scholar 

  8. 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.

    Article  Google Scholar 

  9. Dov M. Gabbay. Decidability results in non-classical logic III (systems with statability operators). Israel Journal of Mathematics, 10: 135–146, 1971.

    Article  Google Scholar 

  10. Dov M. Gabbay. Tense systems with discrete moments of time. Journal of Philosophical Logic, 1: 35–44, 1972.

    Article  Google Scholar 

  11. Dov M. Gabbay. Model theory for intuitionistic logic. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 18: 49–54, 1972.

    Article  Google Scholar 

  12. Dov M. Gabbay. Applications of trees to intermediate logics I. Journal of Symbolic Logic, 37: 135–138, 1972.

    Article  Google Scholar 

  13. 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].

    Google Scholar 

  14. Dov M. Gabbay. Decidability of some intuitionistic predicate theories. Journal of Symbolic Logic, 37: 579–587, 1972.

    Article  Google Scholar 

  15. Dov M. Gabbay. A general theory of the conditional in terms of a ternary operator. Theoria, 38: 97–105, 1972.

    Google Scholar 

  16. Dov M. Gabbay. A general filtration method for modal logics. Journal of Philosophical Logic, 10: 135–146, 1972.

    Google Scholar 

  17. 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.

    Google Scholar 

  18. Dov M. Gabbay. The undecidability of intuitionistic theories of algebraically closed fields and real closed fields. Journal of Symbolic Logic, 38: 86–92, 1973.

    Article  Google Scholar 

  19. 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.

    Article  Google Scholar 

  20. 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.

    Google Scholar 

  21. Dov M. Gabbay and Julius M. E. Moravcsik. Sameness and individuation. Journal of Philosophy, 70: 513–526, 1973.

    Article  Google Scholar 

  22. 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.

    Article  Google Scholar 

  23. Dov M. Gabbay. On 2nd order intuitionistic propositional calculus with full comprehension. Archiv für Mathematische Logik und Grundlagenforschung, 16: 177–186, 1974.

    Article  Google Scholar 

  24. Dov M. Gabbay. A generalization of the concept of intensional semantics. Philosophia, 4: 251–270, 1974.

    Article  Google Scholar 

  25. Dov M. Gabbay and Julius M. E. Moravcsik. Branching quantifiers, English, and Montague grammar. Theoretical Linguistics, 1: 139–157, 1974.

    Article  Google Scholar 

  26. 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].

    Google Scholar 

  27. Dov M. Gabbay. A normal logic that is complete for neighbourhood frames but not for Kripke frames. Theoria, 41: 145–153, 1975.

    Google Scholar 

  28. Dov M. Gabbay. The decision problem for finite extensions of the intuitionistic theory of abelian groups. Studia Logica, 34: 59–67, 1975.

    Article  Google Scholar 

  29. Dov M. Gabbay. Model theory of tense logics. Annals of Mathematical Logic, 8: 185–236, 1975.

    Article  Google Scholar 

  30. 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].

    Google Scholar 

  31. 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.

    Google Scholar 

  32. 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].

    Google Scholar 

  33. Dov M. Gabbay. On Kreisel’s notion of validity in Post systems. Studia Logica, 35: 285–295, 1976.

    Article  Google Scholar 

  34. Dov M. Gabbay. Two dimensional propositional tense logic. In A. Kasher, editor, Bar-Hillel Memorial Volume, pages 145–183. D. Reidel, 1976.

    Google Scholar 

  35. Dov M. Gabbay and Asa Kasher. On the semantics and pragmatics of specific and non-specific indefinite expressions. Theoretical Linguistics, 3: 145–190, 1976.

    Google Scholar 

  36. Dov M. Gabbay. Undecidability of intuitionistic theories formulated with the apartness relation. Fundamenta Mathematica, 97: 57–69, 1977.

    Google Scholar 

  37. Dov M. Gabbay. Craig’s theorem for Intuitionistic Logic III. Journal of Symbolic Logic, 42: 269–271, 1977.

    Article  Google Scholar 

  38. Dov M. Gabbay. A new version of Beth semantics. Journal of Symbolic Logic, 42: 306–309, 1977.

    Article  Google Scholar 

  39. 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].

    Google Scholar 

  40. Asa Kasher and Dov M. Gabbay. On the quantifier there is a certain X. Communication and Cognition, 10: 71–78, 1977.

    Google Scholar 

  41. Asa Kasher and Dov M. Gabbay. Improper definite descriptions: Linguistic performance and logical spaces. Hebrew Philosophical Quarterly, 27: 74–89, 1977.

    Google Scholar 

  42. Dov M. Gabbay. On some new intuitionistic propositional connectives I. Studia Logica, 36: 127–139, 1977.

    Article  Google Scholar 

  43. 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.

    Google Scholar 

  44. Dov M. Gabbay. A tense system with split truth table. Logique et Analyse, 21: 5–39, 1978.

    Google Scholar 

  45. Dov M. Gabbay. What is a classical connective? Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 24: 37–44, 1978.

    Article  Google Scholar 

  46. 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.

    Google Scholar 

  47. 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.

    Google Scholar 

  48. 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.

    Google Scholar 

  49. 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.

    Google Scholar 

  50. 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.

    Google Scholar 

  51. 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.

    Google Scholar 

  52. 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].

    Google Scholar 

  53. 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.

    Google Scholar 

  54. 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].

    Google Scholar 

  55. Dov M. Gabbay and Uwe Reyle. N-Prolog: An extension of prolog with hypothetical implications I. Journal of Logic Programming, 1: 319–355, 1984.

    Article  Google Scholar 

  56. 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].

    Google Scholar 

  57. 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].

    Google Scholar 

  58. Dov M. Gabbay and Marek J. Sergot. Negation as inconsistency. Journal of Logic Programming, 4: 1–35, 1986.

    Article  Google Scholar 

  59. 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.

    Google Scholar 

  60. 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].

    Google Scholar 

  61. Dov M. Gabbay and Amihud Amir. Preservation of expressive completeness in temporal models. Information and Computation, 72: 66–83, 1987.

    Article  Google Scholar 

  62. 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.

    Google Scholar 

  63. 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].

    Google Scholar 

  64. 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.

    Google Scholar 

  65. 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.

    Google Scholar 

  66. 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.

    Article  Google Scholar 

  67. 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.

    Article  Google Scholar 

  68. 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.

    Google Scholar 

  69. 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.

    Google Scholar 

  70. 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.

    Google Scholar 

  71. 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.

    Google Scholar 

  72. 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.

    Google Scholar 

  73. 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.

    Google Scholar 

  74. 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.

    Google Scholar 

  75. 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.

    Google Scholar 

  76. 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.

    Google Scholar 

  77. 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.

    Google Scholar 

  78. 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.

    Google Scholar 

  79. 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.

    Google Scholar 

  80. 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.

    Google Scholar 

  81. 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.

    Google Scholar 

  82. 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.

    Google Scholar 

  83. 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.

    Google Scholar 

  84. 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.

    Google Scholar 

  85. 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.

    Article  Google Scholar 

  86. 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.

    Google Scholar 

  87. Dov M. Gabbay and Marcelo Finger. Adding a temporal dimension to a logic system. Journal of Logic, Language and Information, 1: 203–234, 1992.

    Article  Google Scholar 

  88. 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].

    Google Scholar 

  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].

    Google Scholar 

  90. 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.

    Google Scholar 

  91. 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.

    Google Scholar 

  92. Dov M. Gabbay. Logic made reasonable. KI (German AI Journal, 3:39–41, September 1992. In German, translated by Jörg Siekmann.

    Google Scholar 

  93. 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.

    Google Scholar 

  94. Dov M. Gabbay and Uwe Reyle. Computation with run time skolemisation. Journal of Applied Non-classical Logic, 3: 93–134, 1993.

    Article  Google Scholar 

  95. 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.

    Google Scholar 

  96. 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].

    Google Scholar 

  97. 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].

    Google Scholar 

  98. 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.

    Google Scholar 

  99. 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.

    Article  Google Scholar 

  100. 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.

    Google Scholar 

  101. 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.

    Google Scholar 

  102. Uwe Reyle and Dov M. Gabbay. Direct deductive computation on discourse representation structures. Linguistics and Philosophy, 17 (4): 345–390, 1994.

    Article  Google Scholar 

  103. 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.

    Google Scholar 

  104. 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.

    Article  Google Scholar 

  105. Dov M. Gabbay. What is a logical system. In D. Gabbay, editor, What is a Logical System, pages 181–215. Oxford University, 1994.

    Google Scholar 

  106. 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.

    Google Scholar 

  107. 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.

    Google Scholar 

  108. 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.

    Google Scholar 

  109. 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.

    Google Scholar 

  110. 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.

    Google Scholar 

  111. 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.

    Google Scholar 

  112. 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.

    Google Scholar 

  113. 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.

    Article  Google Scholar 

  114. 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.

    Google Scholar 

  115. 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.

    Google Scholar 

  116. Ruy de Queiroz and Dov M. Gabbay. The functional interpretation of the existential quantifier. Journal of the IGPL, 3 (2/3): 243–290, 1995.

    Google Scholar 

  117. Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, and Richard Owens. METATEM: An introduction. Formal Aspects of Computing, 7 (5): 533–549, 1995.

    Article  Google Scholar 

  118. 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.

    Google Scholar 

  119. 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.

    Google Scholar 

  120. 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.

    Google Scholar 

  121. Dov M. Gabbay. Labelled Deductive Systems; principles and applications. Vol 1: Introduction. Oxford University Press, 1996.

    Google Scholar 

  122. 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.

    Article  Google Scholar 

  123. 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.

    Google Scholar 

  124. 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.

    Google Scholar 

  125. 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.

    Article  Google Scholar 

  126. 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.

    Google Scholar 

  127. 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.

    Google Scholar 

  128. 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.

    Article  Google Scholar 

  129. Marcelo Finger and Dov M. Gabbay. Combining temporal logic systems. Notre Dame Journal of Formal Logic, 37 (2): 204–232, 1996.

    Article  Google Scholar 

  130. 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.

    Google Scholar 

  131. 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.

    Google Scholar 

  132. Dov M. Gabbay. How to make your logic fuzzy (preliminary version). Mathware and Soft Computing, 3 (1): 5–16, 1996.

    Google Scholar 

  133. 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.

    Google Scholar 

  134. 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.

    Google Scholar 

  135. 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.

    Google Scholar 

  136. 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.

    Google Scholar 

  137. 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.

    Article  Google Scholar 

  138. 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.

    Google Scholar 

  139. 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.

    Google Scholar 

  140. Marcello d’Agostino, Dov M. Gabbay, and Alessandra Russo. Information frames, implication systems and modalities. Mathware and Soft Computing, 1: 67–82, 1996.

    Google Scholar 

  141. Dov M. Gabbay. Elementary Logic: A Procedural Perspective. Prentice Hall, 1997/98.

    Google Scholar 

  142. 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.

    Google Scholar 

  143. 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.

    Google Scholar 

  144. 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.

    Google Scholar 

  145. 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.

    Google Scholar 

  146. Dov M. Gabbay and Michael de Glass, editors. WOCFAI 91, Proceedings of the First International Conference on the Foundations of Artificial Intelligence. Angkor, 1991.

    Google Scholar 

  147. 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.

    Google Scholar 

  148. 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.

    Google Scholar 

  149. László Csirmaz, Dov M. Gabbay, and Maarten de Rijke, editors. Logic Colloquium 1992. CSLI Publications, August 1992.

    Google Scholar 

  150. 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.

    Google Scholar 

  151. 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.

    Google Scholar 

  152. 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.

    Google Scholar 

  153. Dov M. Gabbay, editor. What is a Logical System? Studies in Logic and Computation. Clarendon Press, Oxford, 1. edition, 1994.

    Google Scholar 

  154. 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.

    Google Scholar 

  155. 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.

    Google Scholar 

  156. 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.

    Google Scholar 

  157. 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.

    Google Scholar 

  158. Howard Barringer, Michael Fisher, Dov M. Gabbay, Richard Owens, and Mark A. Reynolds. The Imperative Future. RS Press, John Wiley, 1996.

    Google Scholar 

  159. 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.

    Google Scholar 

  160. 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.

    Google Scholar 

  161. Dov M. Gabbay and Nicola Olivetti. Algorithmic proof methods and cut elimination for implicational logics: part 1, modal logics, 1995. manuscript.

    Google Scholar 

  162. Dov M. Gabbay and Nicola Olivetti. Goal Directed Algorithmic Proof Theory. 1995. Draft available.

    Google Scholar 

  163. Dov M. Gabbay. Self fibring in predicate logics, fibred semantics and the weaving of logics, part 4, 1996. manuscript.

    Google Scholar 

  164. Michael O. Rabin. Decidability of second-order theories and automata on infinite trees. Transactions of AMS, 141: 1–35, 1969.

    Google Scholar 

  165. 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.

    Google Scholar 

  166. Dov M. Gabbay, Mark Reynolds, and Marcelo Finger. Temporal Logic, Volume 2. 1997. in preparation.

    Google Scholar 

  167. Klaus Schulz and Franz Baader, editors. Proceedings of FroCoS′96, Frontiers of Combining Systems. Kluwer, 1996.

    Google Scholar 

  168. Dov M. Gabbay. Fibring Logics. Book manuscript, Imperial College.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. King’s College, London, UK

    Hans Jürgen Ohlbach

  2. University of Stuttgart, Stuttgart, Germany

    Uwe Reyle

Authors
  1. Hans Jürgen Ohlbach
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Uwe Reyle
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. King’s College, London, UK

    Hans Jürgen Ohlbach

  2. University of Stuttgart, Stuttgart, Germany

    Uwe Reyle

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation