Skip to main content
SpringerLink
Log in

Correspondence Theory

  • Chapter
Handbook of Philosophical Logic

Part of the book series: Handbook of Philosophical Logic ((HALO,volume 3))

Abstract

When possible worlds semantics arrived around 1960, one of its most charming features was the discovery of simple connections between existing intensional axioms and ordinary properties of the alternative relation among worlds. Decades of syntactic labour had produced a jungle of intensional axiomatic theories, for which a perspicuous semantic setting now became available. For instance, typical completeness theorems appeared such as the following:

A modal formula is a theorem of S4 if and only if it is true in all reflexive, transitive Kripke frames.

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

Access this chapter

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 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. G. d’Agostino, J. van Benthem, A. Montanari, and A. Policriti. Modal deduction in second-order logic and set theory. Journal of Logic and Computation, 7:251–265, 1997.

    Google Scholar 

  2. G. d’Agostino. Model and frame correspondence with bisimulation collapses, 1995. Manuscript, Institute for Logic, Language and Computation, University of Amsterdam.

    Google Scholar 

  3. G. d’Agostino. Modal Logic and Non-well-founded Set Theory: Bisimulation, Translation and Interpolation. PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam, 1998.

    Google Scholar 

  4. M. Ajtai. Isomorphism and higher-order equivalence. Ann Math Logic, 16:181–233, 1979.

    Google Scholar 

  5. N. Alechina and J. van Benthem. Modal quantification over structured domains. In M. de Rijke, ed., Advances in Intensional Logic, pp. 1–28, Kluwer, Dordrecht.

    Google Scholar 

  6. N. Alechina. Modal Quantifiers. PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam, 1995.

    Google Scholar 

  7. H. Andréka, J. van Benthem, and I. Németi. Back and forth between modal logic and classical logic. Bulletin of the Interest group in Pure and Applied Logic, 3:685–720, 1995.

    Google Scholar 

  8. H. Andréka, J. van Benthem, and I. Németi. Revised version: Modal logics and bounded fragments of predicate logic. Journal of Philosophical Logic, 27:217–274, 1998.

    Google Scholar 

  9. J. Barwise and L. Moss. Vicious Circles. CSLI Publications, Stanford, 1995.

    Google Scholar 

  10. J. Barwise and J. van Benthem. Interpolation, preservation, and pebble games. Report ML-96–12, Institute for Logic, Language and Computation, University of Amsterdam, 1996. To appear in Journal of Symbolic Logic, 1999.

    Google Scholar 

  11. P. Blackburn, M. de Rijke and Y. Venema. Modal Logic, Kluwer, Dordrecht, 1999.

    Google Scholar 

  12. W. J. Blok. Varieties of interior algebras. PhD thesis, Mathematical Institute, University of Amsterdam, 1976.

    Google Scholar 

  13. G. Boolos. The Unprovability of consistency. Cambridge University Press, Cambridge, 1979.

    Google Scholar 

  14. J. P. Burgess. Logic and time. Journal of Symbolic Logic, 44:566–582, 1979.

    Google Scholar 

  15. J. P. Burgess. Quick completeness proofs for some logics of conditionals. Notre Dame Journal of Formal Logic, 22:76–84, 1981.

    Google Scholar 

  16. L. Chagrova. An undecidable problem in correspondence theory. Journal of Symbolic Logic, 56:1261–1272, 1991.

    Google Scholar 

  17. A. Chagrov, F. Wolter and M. Zakharyashev. Advanced modal logic. School of Information Science, JAIST, Japan, 1996. To appear in this Handbook.

    Google Scholar 

  18. C. C. Chang and H. J. Keisler. Model Theory. North-Holland, Amsterdam, 1973.

    Google Scholar 

  19. M. de Rijke. The modal logic of inequality. Journal of Symbolic Logic, 57:566–584, 1992.

    Google Scholar 

  20. M. de Rijke. Extending Modal Logics. PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam, 1993.

    Google Scholar 

  21. M. de Rijke, ed. Diamonds and Defaults, Kluwer Academic Publishers, Dordrecht, 1993.

    Google Scholar 

  22. M. de Rijke. Advances in Intensional Logic, Kluwer Academic Publishers, Dordrecht, 1997.

    Google Scholar 

  23. K. Doets and J. van Benthem. Higher-order logic. In Handbook of Philosophical Logic, volume 1, 2nd edition, Kluwer Academic Publishers, 2001. (Volume I of 1st edition, 1983.)

    Google Scholar 

  24. K. Doets. Completeness and Definability. Applications of the Ehrenfeucht Game in Second-Order and Intensional Logic. PhD thesis, Mathematical Institute, University of Amsterdam, 1987.

    Google Scholar 

  25. K. Doets. Monadic ПI11 theories of П11 properties. Notre Dame Journal of Formal Logic, 30:224–240, 1989.

    Google Scholar 

  26. P. Doherty, W. Lukasiewicz and A. Szalas. Cormputing circumscription revisited: a reduction algorithm. Technical report LiTH-IDAR-94–42, Institutioned for Datavetenskap, University of Linköping, 1994.

    Google Scholar 

  27. M. Dunn. Relevant logic. In Handbook of Philosophical Logic, volume 8, 2nd edition, Kluwer Academic Publishers, 2001. (Volume III of 1st edition, 1985.)

    Google Scholar 

  28. K. Fine and R. Schurz. Transfer theorems for multimodal logics. In J. Copeland, editor, Logic and Reality. Essays on the Legacy of Arthur Prior. Oxford University Press, Oxford, 1996.

    Google Scholar 

  29. K. Fine. An incomplete logic containing S4. Theoria, 40:23–29, 1974.

    Google Scholar 

  30. K. Fine. Some connections between elementary and modal logic. In S. Kanger, editor, Proceedings of the 3rd Scandinavian Logic symposium. North-Holland, Amsterdam, 1975.

    Google Scholar 

  31. K. Fine. Logics containing K4. part II. Journal of Symbolic Logic, 50:619–651. 1985.

    Google Scholar 

  32. F. B. Fitch. A correlation between modal reduction principles and properties of relations. Journal of Philosophical Logic, 2, 97–101, 1973.

    Google Scholar 

  33. D. M. Gabbay. Investigations in Modal and Tense Logics. D. Reidel, Dordrecht, 1976.

    Google Scholar 

  34. D. Gabbay. Expressive functional completeness in tense logic. In U. Mönnich, editor, Aspects of Philosophical Logic, pages 91–117. Reidel, Dordrecht, 1981.

    Google Scholar 

  35. G. Gargov and S. Passy. A note on Boolean modal logic. In P. Petkov, editor, Mathematical Logic, pages 311–321. Plenum Press, New York, 1990.

    Google Scholar 

  36. J. Gerbrandy. Bisimulations on Planet Kripke. PhD theiss, Institute for Lgoic, Language and Computation, University of Amsterdam, 1998.

    Google Scholar 

  37. R. I. Goldblatt and S. K. Thomason. Axiomatic classes in propositional model logic. In J. Crossley, editor, Algebra and Logic. Lecture Notes in Mathematics 450, Springer, Berlin, 1974.

    Google Scholar 

  38. R. I. Goldblatt. Semantic analysis of orthologic. Journal of Philosophical Logic, 3:19–35, 1974.

    Google Scholar 

  39. R. I. Goldblatt. Metamathematics of modal logic. Reports on Math. Logic, 6:4–77 and 7:21–52, 1979.

    Google Scholar 

  40. R. Goldblatt. Logics of Time and Computation. Vol. 7 of CSLI Lecture Notes, Chicago University Press, 1987.

    Google Scholar 

  41. V. Goranko. Modal definability in enriched languages. Notre Dame Journal of Formal Logic, 31:81–105, 1990.

    Google Scholar 

  42. E. Grädel. Decision procedures for guarded logics. Mathematische Grundlagen der Informatik, RWTH Aachen, 1999.

    Google Scholar 

  43. G. Grätzer. Universal Algebra. Van Nostrand, Princeton, 1968.

    Google Scholar 

  44. D. Harel, D. Kozen and J. Tiuryn. Dynamic Logic. 1998.

    Google Scholar 

  45. D. Harel. Dynamic logic. In Vol. II, Handbook of Philosophical Logic. Reidel, Dordrecht, 1984.

    Google Scholar 

  46. L. A. Henkin, D. Monk, and A. Tarski. Cylindric Algebras I. North-Holland, Amsterdam, 1971.

    Google Scholar 

  47. L. Henkin. Completeness in the theory of types. Journal of Symbolic Logic, 15:81–91, 1950.

    Google Scholar 

  48. M. Hennessy and R. Milner. Algebraic laws for indeterminism and concurrency. Journal of the ACM, 32:137–162, 1985.

    Google Scholar 

  49. M. Hollenberg. Logic and Bisimulation. PhD Thesis, Institute of Philosphy, Utrecht University, 1998.

    Google Scholar 

  50. A. Huertas. Modal Logics of Predicates and Partial and Heterogeneous Non-Classical Logic. PhD thesis, Department of Logic, History and Philosophy of Science, Autonomous University of Barcelona, 1994.

    Google Scholar 

  51. I. L. Humberstone. Interval semantics for tense logics. Journal of Philosophical Logic, 8:171–196, 1979.

    Google Scholar 

  52. N. Immermann and D. Kozen. Definability with bounded number of bound variables. In Proceedings 2nd IEEE Symposium on Logic in Computer Science, pp. 236–244, 1987.

    Google Scholar 

  53. J. Jaspars. Calculi for Constructive Communication. The Dynamics of Partial States. PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam and Institute for Language and Knowledge Technology, University of Tilburg, 1994.

    Google Scholar 

  54. R. Jennings, D. Johnstone, and P. Schotch. Universal first-order definability in modal logic. Zeit. Math. Logik, 26:327–330, 1980.

    Google Scholar 

  55. D. Kozen. On the duality of dynamic algebras and Kripke models. Technical Report RC 7893, IBM, Thomas J. Watson Research Center, New York, 1979.

    Google Scholar 

  56. M. Kracht and F. Wolter. Properties of independently axiomatizable bimodal logics. Journal of Symbolic Logic, 56:1469–1485, 1991.

    Google Scholar 

  57. M. Kracht. How completeness and correspondence theory got married. In M. de Rijke, ed. Diamonds and Defaults, pages 175–214. Kluwer Academic Publishers, Dordrecht, 1993.

    Google Scholar 

  58. N. Kurtonina. Frames and Labels. A Modal Analysis of Categorial Inference. PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam and Onderzoeksinstituut voor Taal en Spraak, Universiteit Utrecht, 1995.

    Google Scholar 

  59. D. Lewis. Counterfactuals and comparative possibility. Journal of Philosophical Logic, 2:4–18, 1973.

    Google Scholar 

  60. V. Lifshitz. Computing circumscription. In Proceedings IJCAI-85, pages 121–127, 1985.

    Google Scholar 

  61. J. M. E. McTaggart. The unreality of time. Mind, 17, 457–474, 1908.

    Google Scholar 

  62. M. Marx and Y. Venema. Multi-Dimensional Modal Logic. Studies in Pure and Applied Logic. Kluwer Academic Publishers, Dordrecht, 1996.

    Google Scholar 

  63. M. Marx. Algebraic Relativization and Arrow Logic. PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam, 1995.

    Google Scholar 

  64. W. Meyer Viol. Instantial Logic. PhD thesis, Utrecht Institute for Linguistics OTS and Institute for Logic, Language and Computation, University of Amsterdam, 1995.

    Google Scholar 

  65. S. Mikulas. Taming Logics. PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam, 1995.

    Google Scholar 

  66. M. Moortgat. Type-logical grammar. In J. van Benthem and A. Meulen, editors, Handbook of Logic and Language. Elsevier Science Publishers, Amsterdam, 1996.

    Google Scholar 

  67. H-J Ohlbach. Semantics-based translation methods for modal logics. Journal of Logic and Computation, 1:691–746, 1991.

    Google Scholar 

  68. H. J. Ohlbach. Translation methods for non-classical logics. an overview. Bulletin of the IGPL, 1:69–89, 1993.

    Google Scholar 

  69. A. Ponse, M. de Rijke, and Y. Venema, editors. Modal Logic and Process Algebra—A Bisimulation Perspective. Vol. 3 of CSLI Lecture Notes, Cambridge University Press, 1995.

    Google Scholar 

  70. H. Rasiowa and R. Sikorski. The Mathematics of Metamathematics. Polish Scientific Publishers, Warsaw, 1970.

    Google Scholar 

  71. P. Rodenburg. Intuitionistic correspondence theory. Technical report, Mathematical Institute, University of Amsterdam, 1982.

    Google Scholar 

  72. P. Rodenburg. Intuitionistic Correspondence Theory. PhD thesis, Mathematical Institute, University of Amsterdam, 1986.

    Google Scholar 

  73. E. Rosen. Modal logic over finite structures. Technical Report ML-95–08, Institute for Logic, Language and Computation, University of Amsterdam, 1995. To appear in Journal of Logic, Language and Information.

    Google Scholar 

  74. H. Sahlqvist. Completeness and correspondence in the first- and second- order semantics for modal logic. In S. Kanger, editor, Proceedings of the 3rd Scandinavian Logic Symposium, pp. 110–143. North-Holland, Amsterdam, 1975.

    Google Scholar 

  75. K. Segerberg. An essay in classical modal logic. Filosofiska Studier, 13. 1971.

    Google Scholar 

  76. H. Simmons. The monotonous elimination of predicate variables. Journal of Logic and Computation, 4:23–68, 1994.

    Google Scholar 

  77. C. S. Smoryński. Applications of Kripke models. In A. S. Troelstra, editor, Meta-mathematical Investigations of Intuitionistic Arithmetic and Analysis, pages 329–391. Lecture Notes in Mathematics 344, Springer, Berlin, 1973.

    Google Scholar 

  78. E. Spaan. Complexity of Modal Logics. PhD thesis, Institute for Logic, Language and Computation, University of Amsterdam, 1993.

    Google Scholar 

  79. E. Thijsse. Partial Logic and Knowledge Representation. PhD thesis, Institute for Language and Knowledge Technology, University of Tilburg, 1992.

    Google Scholar 

  80. S. K. Thomason. An incompleteness theorem in modal logic. Theoria, 40:30–34, 1974.

    Google Scholar 

  81. S. K. Thomason. Semantic analysis of tense logics. Journal of Symbolic Logic, 37:150–158, 1972.

    Google Scholar 

  82. S. K. Thomason. Reduction of second-order logic to modal logic I. Zeit. Math. Logik, 21:107–114, 1975.

    Google Scholar 

  83. D. Vakarelov. A modal logic for similarity relations in Pawlak information systems. Fundamenta Informaticae, 15:61–79, 1991.

    Google Scholar 

  84. D. Vakarelov. A modal theory of arrows. To appear in M. de Rijke, ed., 1996.

    Google Scholar 

  85. J. van Benthem and J. Bergstra. Logic of transition systems. Journal of Logic, Language and Information, 3:247–283, 1995.

    Google Scholar 

  86. J. van Benthem, J. van Eyck, and V. Stebletsova. Modal loglc. transition systems and processes. Logic and Computation, 4:811–855, 1994.

    Google Scholar 

  87. J. F. A. K. van Benthem. Modal correspondence theory. PhD thesis, Instituut voor Grondslagenonderzoek, University of Amsterdam, 1976.

    Google Scholar 

  88. J. F. A. K. van Benthem. Two simple incomplete modal logics. Theoria, 44:25–37, 1978.

    Google Scholar 

  89. J. F. A. K. van Benthem. Canonical modal logics and ultrafilter extensions. Journal of Symbolic Logic, 44:1–8, 1979.

    Google Scholar 

  90. J. F. A. K. van Benthem. Syntactic aspects of modal incompleteness theorems. Theoria, 45:67–81, 1979.

    Google Scholar 

  91. J. F. A. K. van Benthem. Some kinds of modal completeness. Studia Logica, 39:125–141, 1980.

    Google Scholar 

  92. J. F. A. K. van Benthem. Intuitionistic definability, 1981. University of Groningen.

    Google Scholar 

  93. J. F. A. K. van Benthem. Possible worlds semantics for classical logic. Technical Report ZW-8018, Mathematical Institute, University of Groningen, 1981.

    Google Scholar 

  94. J. van Benthem. The Logic of Time. Vol. 156 of Synthese Library, Reidel, Dordrecht, 1983. Revised edition with Kluwer Academic Publishers, Dordrecht. 1991.

    Google Scholar 

  95. J. van Benthem. Modal Logic and Classical Logic. Vol. 3 of Indices, Bibliopolis, Napoli, and The Humanities Press, Atlantic Heights, NJ, 1985. Revised edition to appear with Oxford University Press.

    Google Scholar 

  96. J. van Benthem. Tenses in real time. Zeitschrift für mathematiscne Logik und Grundlagen der Mathematik, 32:61–72, 1986.

    Google Scholar 

  97. J. van Benthem. Notes on modal definability. Notre Dame Journal of Formal Logic, 30:20–35, 1989.

    Google Scholar 

  98. J. van Benthem. Semantic parallels in natural language and computation. In H.-D. Ebbinghaus et al., editor, Logic Colloquium. Granada 1987, pages 331–375. North-Holland, Amsterdam, 1989.

    Google Scholar 

  99. J. van Benthem. Modal logic as a theory of information. In J. Copeland, ed., Logic and Reality. Esays on the Legacy of Arthur Prior, pp. 135–186. Oxford University Press, 1995.

    Google Scholar 

  100. J. van Benthem. Language in Action. Categories, Lambdas and Dynamic Logic. Vol. 130 of Studies in Logic, North-Holland. Amsterdam, 1991.

    Google Scholar 

  101. J. van Benthem. Logic as programming. Fundamenta Informaticae, 17:285–317, 1992.

    Google Scholar 

  102. J. van Benthem. Beyond accessibility: functional models for modal logic. In M. de Rijke, ed. Diamonds and Defaults, pp. 1–18. Kluwer, Dordrecht, 1993.

    Google Scholar 

  103. J. van Benthem. Modal frame classes revisited. Fundamenta Informaticae, 18:307–317, 1993.

    Google Scholar 

  104. J. van Benthem. Temporal logic. In D. Gabbay, C. Hogger, and J. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 4, pages 241–350. Oxford University Press, 1995.

    Google Scholar 

  105. J. van Benthem. Contents versus wrappings. In M. Marx, L. Polos and M. Masuch, eds., Arrow Logic and Multi-modal Logic, pp. 203–219. CSLI Publications, Stanford, 1996.

    Google Scholar 

  106. J. van Benthem. Exploring Logical Dynamics. Studies in Logic, Language and Information, CSLI Pubications (Stanford) and Cambridge University Press, 1996.

    Google Scholar 

  107. J. van Benthem. Modal foundations for predicate logic. Technical Report LP-95–07, Institute for Logic, Language and Computation, 1995. Appeared in Bulletin of the IGPL, 5:259–286, 1997. (R. de Queiroz, ed., Proceedings WoLLIC. Recife 1995) and E. Orlowska, ed., Logic at Work. Memorial for Elena Rasiowa, pp. 39–54, Studia Logica Library, Kluwer Academic Publishers. 1999.

    Google Scholar 

  108. J. van Benthem. Modal loigc in two gestalts. To appear in M. de Rijke and M. Zakharyashev, eds. Proceedings AiML-II, Uppsala, Kluwer, Dordrecht, 1998.

    Google Scholar 

  109. J. van Benthem. Intensional Logic. Electronic lecture notes, Stanford University, 1999. http://www.turfing.wins.uva.nl/~iohan/teaching/

    Google Scholar 

  110. W. van der Hoek. Modalities for Reasoning about Knowledge and Quantities. PhD thesis, Department of Computer Science, Free University, Amsterdam. 1992.

    Google Scholar 

  111. Y. Venema. Many-Dimensional Modal Logic. PhD thesis, Institute for Logic, Language and Information, University of Amsterdam. 1991.

    Google Scholar 

  112. M. J. White. Modal-tense logic incompleteness and the Master Argument. University of Arizona. 1981.

    Google Scholar 

  113. J. A. Winnie. The causal theory of space-time. In J. S. Earman et al., editor, Foundations of Space-Time Theories, pages 134–205. University of Minnesota Press, 1977.

    Google Scholar 

  114. F. Wolter. Lattices of Modal Logics. PhD thesis, Zweites Mathematisches Institut, Freie Universität, Berlin. 1993.

    Google Scholar 

  115. A. Zanardo. Branching-time logic with quantification over branches. The point of view of modal logic. Reprint 25, Institute for Mathematics, University of Padova, 1994.

    Google Scholar 

  116. M. Zakharyashev. Canonical formuls for K4. Part I: Basic results. Journal of Symbolic Logic, 57:1377–1402. 1992

    Google Scholar 

  117. M. Zakharyashev. Canonical formulas for modal and superintuitionistic lgoics: a short outline. In M. de Rijke, ed. 1996.

    Google Scholar 

Download references

Authors
  1. Johan Van Benthem
    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

    D. M. Gabbay

  2. Centrum für Informations- und Sprachverarbeitung, Ludwig-Maximilians-Universität München, Germany

    F. Guenthner

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Van Benthem, J. (2001). Correspondence Theory. In: Gabbay, D.M., Guenthner, F. (eds) Handbook of Philosophical Logic. Handbook of Philosophical Logic, vol 3. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0454-0_4

Download citation

  • DOI: https://doi.org/10.1007/978-94-017-0454-0_4

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-481-5765-5

  • Online ISBN: 978-94-017-0454-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation