Euclidean Hierarchy in Modal Logic
Studia Logica 75 (3):327 - 344 (2003)
| Abstract | For a Euclidean space ${\Bbb R}^{n}$ , let $L_{n}$ denote the modal logic of chequered subsets of ${\Bbb R}^{n}$ . For every n ≥ 1, we characterize $L_{n}$ using the more familiar Kripke semantics thus implying that each $L_{n}$ is a tabular logic over the well-known modal system Grz of Grzegorczyk. We show that the logics $L_{n}$ form a decreasing chain converging to the logic $L_{\infty}$ of chequered subsets of ${\Bbb R}^{\infty}$ . As a result, we obtain that $L_{\infty}$ is also a logic over Grz, and that $L_{\infty}$ has the finite model property. We conclude the paper by extending our results to the modal language enriched with the universal modality. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJohan van Benthem, Guram Bezhanishvili & Mai Gehrke (2003). Euclidean Hierarchy in Modal Logic. Studia Logica 75 (3):327-344.
Johan van Benthem (2004). What One May Come to Know. Analysis 64 (2):95–105.
Guram Bezhanishvili, Leo Esakia & David Gabelaia (2010). The Modal Logic of Stone Spaces: Diamond as Derivative. Review of Symbolic Logic 3 (1):26-40.
J. Van Benthem, G. Bezhanishvili, B. Ten Cate & D. Sarenac (2006). Multimodal Logics of Products of Topologies. Studia Logica 84 (3):369 - 392.
W. J. Blok (1980). The Lattice of Modal Logics: An Algebraic Investigation. Journal of Symbolic Logic 45 (2):221-236.
Colin Oakes (1999). Interpretations of Intuitionist Logic in Non-Normal Modal Logics. Journal of Philosophical Logic 28 (1):47-60.
Norihiro Kamide (2002). Kripke Semantics for Modal Substructural Logics. Journal of Logic, Language and Information 11 (4):453-470.
Larisa Maksimova (2006). Projective Beth Property in Extensions of Grzegorczyk Logic. Studia Logica 83 (1-3):365 - 391.
Frank Wolter (1998). On Logics with Coimplication. Journal of Philosophical Logic 27 (4):353-387.
Johan van Benthem (2007). A New Modal Lindström Theorem. Logica Universalis 1 (1).
Sebastian Enqvist (forthcoming). A General Lindström Theorem for Some Normal Modal Logics. Logica Universalis:1-32.
R. Hirsch, I. Hodkinson & A. Kurucz (2002). On Modal Logics Between K × K × K and $S5 \Times S5 \Times S5$. Journal of Symbolic Logic 67 (1):221 - 234.
V. V. Rybakov (1995). Hereditarily Structurally Complete Modal Logics. Journal of Symbolic Logic 60 (1):266-288.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2011-05-29Total downloads1 ( #274,602 of 549,010 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
