Notre Dame Journal of Formal Logic

Multi-Dimensional Semantics for Modal Logics

Maarten Marx

Abstract

We show that every modal logic (with arbitrary many modalities of arbitrary arity) can be seen as a multi-dimensional modal logic in the sense of Venema. This result shows that we can give every modal logic a uniform "concrete" semantics, as advocated by Henkin et al. This can also be obtained using the unravelling method described by de Rijke. The advantage of our construction is that the obtained class of frames is easily seen to be elementary and that the worlds have a more uniform character.

Article information

Source
Notre Dame J. Formal Logic, Volume 37, Number 1 (1996), 25-34.

Dates
First available in Project Euclid: 16 December 2002

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1040067313

Digital Object Identifier
doi:10.1305/ndjfl/1040067313

Mathematical Reviews number (MathSciNet)
MR1379546

Zentralblatt MATH identifier
0864.03013

Subjects
Primary: 03B45: Modal logic (including the logic of norms) {For knowledge and belief, see 03B42; for temporal logic, see 03B44; for provability logic, see also 03F45}

Citation

Marx, Maarten. Multi-Dimensional Semantics for Modal Logics. Notre Dame J. Formal Logic 37 (1996), no. 1, 25--34. doi:10.1305/ndjfl/1040067313. https://projecteuclid.org/euclid.ndjfl/1040067313


Export citation

References

  • Bull, R., and K. Segerberg, “Basic modal logic,” pp. 1–88 in Handbook of Philosophical Logic, vol. 2, edited by D. M. Gabbay and F. Günther, Reidel, Dordrecht, 1984. Zbl 0875.03045 MR 844596
  • de Rijke, M., Extending Modal Logic, Ph.D. thesis, Institute for Logic, Language and Computation, Universiteit van Amsterdam, 1993.
  • Henkin, L., J. D. Monk, and A. Tarski, Cylindric Algebras, Parts I & II, North-Holland, Amsterdam, 1985. Zbl 0576.03042 Zbl 0576.03043 MR 86m:03095a MR 86m:03095b
  • Kramer, R., “Relativized relation algebras,” pp. 293–349 in Algebraic Logic, edited by H. Andréka, J. D. Monk, and I. Németi, North-Holland, Amsterdam, 1991. Zbl 0749.03047 MR 93c:03081
  • Maddux, R. D., “Some varieties containing relation algebras,” Transactions of the American Mathematical Society, vol. 272 (1982), pp. 501–526. Zbl 0515.03039 MR 84a:03079
  • Marx, M., Algebraic Relativization and Arrow Logic, Ph.D. thesis, Institute for Logic, Language and Computation, University of Amsterdam, 1995.
  • Sahlqvist, H., “Completeness and correspondence in the first and second order semantics for modal logic,” pp. 110–143 in Proceedings of the Third Scandinavian Logic Symposium Uppsala 1973, edited by S. Kanger, North-Holland, Amsterdam, 1975. Zbl 0319.02018 MR 52:7855
  • van Benthem, J., Language in Action (Categories, Lambdas and Dynamic Logic), Studies in Logic vol. 130, North-Holland, Amsterdam, 1991. Zbl 0717.03001 MR 92g:03002
  • van Benthem, J., “A note on dynamic arrow logics,” pp. 15–29 in Logic and Information Flow, edited by J. van Eijck and A. Visser, MIT Press, Cambridge, 1994. MR 1 295 058
  • Venema, Y., Many-Dimensional Modal Logic, PhD thesis, Institute for Logic, Language and Computation, Universiteit van Amsterdam, 1991.
  • Venema, Y., “Cylindric modal logic,” The Journal of Symbolic Logic, vol. 60 (1995), pp. 591–623. Zbl 0830.03008 MR 96i:03062