Modal logic axioms valid in quotient spaces of finite CW-complexes and other families of topological spaces (Q1751496)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Modal logic axioms valid in quotient spaces of finite CW-complexes and other families of topological spaces |
scientific article; zbMATH DE number 6873331
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modal logic axioms valid in quotient spaces of finite CW-complexes and other families of topological spaces |
scientific article; zbMATH DE number 6873331 |
Statements
Modal logic axioms valid in quotient spaces of finite CW-complexes and other families of topological spaces (English)
0 references
25 May 2018
0 references
Summary: In this paper we consider the topological interpretations of \(\mathcal{L}_\square\), the classical logic extended by a ``box'' operator \(\square\) interpreted as interior. We present extensions of S4 that are sound over some families of topological spaces, including particular point topological spaces, excluded point topological spaces, and quotient spaces of finite CW-complexes.
0 references
0.8004205822944641
0 references
0.7942633628845215
0 references
0.7793826460838318
0 references
0.7751549482345581
0 references
