Euclidean Hierarchy in Modal Logic |
| |
Authors: | Johan van Benthem Guram Bezhanishvili Mai Gehrke |
| |
Affiliation: | (1) Institute for Logic, Language and Computation, University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, The Netherlands;(2) Department of Mathematical Sciences, New Mexico State University, Las Cruces, NM 88003-0001, USA |
| |
Abstract: | For a Euclidean space , let Ln denote the modal logic of chequered subsets of . For every n 1, we characterize Ln using the more familiar Kripke semantics, thus implying that each Ln is a tabular logic over the well-known modal system Grz of Grzegorczyk. We show that the logics Ln form a decreasing chain converging to the logic L of chequered subsets of . As a result, we obtain that L is also a logic over Grz, and that L has the finite model property. We conclude the paper by extending our results to the modal language enriched with the universal modality. |
| |
Keywords: | Topo-bisimulation serial set chequered set Euclidean hierarchy |
本文献已被 SpringerLink 等数据库收录! |
|