Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 37, Number 1 (1996), 25-34.
Multi-Dimensional Semantics for Modal Logics
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.
Notre Dame J. Formal Logic, Volume 37, Number 1 (1996), 25-34.
First available in Project Euclid: 16 December 2002
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
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