A canonical topological model for extensions of K4
From MaRDI portal
(Redirected from Publication:969431)
In the absence of the axiom \(A\to\lozenge A\), formula \(\lozenge A\) can be interpreted as the derived set of \(A\), that is, the set of limit points of \(A\) in topological semantics. The author gives sufficient conditions for the completeness of (what he calls) a canonical topological model for extensions of K4. Systems K4, \(\text{K}4+\lozenge T\), K45 and several others are complete in this sense, while K4B and \(\text{K}4+\lozenge\phi\to\square \phi\) are not.
Recommendations
- Modal logic axioms valid in quotient spaces of finite CW-complexes and other families of topological spaces
- Completeness of S4 with respect to the real line: revisited
- A proof of topological completeness for S4 in (0,1)
- S4 is Topologically Complete for (0,1): a Short Proof
- scientific article; zbMATH DE number 1303430
Cites work
- A Grim semantics for logics of belief
- Handbook of Spatial Logics
- scientific article; zbMATH DE number 4033710 (Why is no real title available?)
- scientific article; zbMATH DE number 3603256 (Why is no real title available?)
- scientific article; zbMATH DE number 1975416 (Why is no real title available?)
- Some results on modal axiomatization and definability for topological spaces
- The algebra of topology
Cited in
(2)
This page was built for publication: A canonical topological model for extensions of K4
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q969431)
