Abstract
This chapter contains a technical introduction to the world of multi-dimensional modal logics. We will treat some relatively simple logics with a two-dimensional semantics. In section 2.1, we introduce the family of modal operators we are going to study, with their two-dimensional semantics. In sections 2.2 and 2.3, we study two-dimensional modal logic with unary operators. These sections can be seen as an appetizer for the α-dimensional case which is treated in chapter 5. Section 2.4 deals with the modal logic of composition. This section is an introduction to chapter 3, which is completely devoted to logics with composition as their main connective. Section 2.5, finally, is about two-dimensional tense logic, a subject which is taken up again in chapter 4. We conclude this chapter with some historical notes on the logics described here.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
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). Two-Dimensional Modal Logics. In: Multi-Dimensional Modal Logic. Applied Logic Series, vol 4. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-5694-3_2
Download citation
DOI: https://doi.org/10.1007/978-94-011-5694-3_2
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-6401-9
Online ISBN: 978-94-011-5694-3
eBook Packages: Springer Book Archive