Translator Disclaimer
Winter 1996 Multi-Dimensional Semantics for Modal Logics
Maarten Marx
Notre Dame J. Formal Logic 37(1): 25-34 (Winter 1996). DOI: 10.1305/ndjfl/1040067313

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.

Citation

Download Citation

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

Information

Published: Winter 1996
First available in Project Euclid: 16 December 2002

zbMATH: 0864.03013
MathSciNet: MR1379546
Digital Object Identifier: 10.1305/ndjfl/1040067313

Subjects:
Primary: 03B45

Rights: Copyright © 1996 University of Notre Dame

JOURNAL ARTICLE
10 PAGES


SHARE
Vol.37 • No. 1 • Winter 1996
Back to Top