Topological Semantics and Decidability
| dc.creator | Sustretov, Dmitry | |
| dc.date | 2007-03-05 | |
| dc.date | 2007-06-01 | |
| dc.date.accessioned | 2026-07-07T08:08:50Z | |
| dc.date.available | 2026-07-07T08:08:50Z | |
| dc.description | It is well-known that the basic modal logic of all topological spaces is $S4$. However, the structure of basic modal and hybrid logics of classes of spaces satisfying various separation axioms was until present unclear. We prove that modal logics of $T_0$, $T_1$ and $T_2$ topological spaces coincide and are S4$. We also examine basic hybrid logics of these classes and prove their decidability; as part of this, we find out that the hybrid logics of $T_1$ and T_2$ spaces coincide. | |
| dc.description | presentation changes, results about concrete structure added | |
| dc.identifier | https://arxiv.org/abs/math/0703106 | |
| dc.identifier | http://arxiv.org/abs/math/0703106 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/131397 | |
| dc.subject | Logic | |
| dc.subject | 03B45 | |
| dc.title | Topological Semantics and Decidability | |
| dc.type | text |