Abstract
After seeing so many multi-dimensional modal logics, the reader might wonder if not every modal logic is (or can be seen as) a multi-dimensional one. The answer is in some sense positive. We will show that for every modal similarity type S, the basic derivation system K S is strongly sound and complete with respect to a multidimensional class of frames. The dimension and the interpretation of the modalities depends only on the type S.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Marx, M., Venema, Y. (1997). Multi-Dimensional Semantics for Every Modal Language. In: Multi-Dimensional Modal Logic. Applied Logic Series, vol 4. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-5694-3_6
Download citation
DOI: https://doi.org/10.1007/978-94-011-5694-3_6
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-6401-9
Online ISBN: 978-94-011-5694-3
eBook Packages: Springer Book Archive