Abstract
We start with informally defining the subject matter of this book: multi-dimensional modal logic (MDML). First let us briefly consider what we understand by the notion of “modal logic”. The last decade has seen a development in modal logic towards a more abstract and technical approach. In this perspective of what one might call abstract modal logic, arbitrary relational structures can be seen as models for an (extended) modal language: any relation is a potential accessibility relation of some suitably defined modal operator. As the essentially modal aspect of the framework one could point out that the mechanism for evaluating formulas forces certain moves along the accessibility relations. Thus, for instance quantification over a model is restricted to an “accessible” part of the structure.
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 Modal Logic. In: Multi-Dimensional Modal Logic. Applied Logic Series, vol 4. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-5694-3_1
Download citation
DOI: https://doi.org/10.1007/978-94-011-5694-3_1
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-6401-9
Online ISBN: 978-94-011-5694-3
eBook Packages: Springer Book Archive