Topological Completeness of Logics above S4.
Guram BezhanishviliDavid GabelaiaJoel Lucero-BryanPublished in: J. Symb. Log. (2015)
Keyphrases
- expressive power
- modal logic
- order sorted
- topological properties
- inference rules
- topological spaces
- propositional calculus
- topology preservation
- case study
- connected components
- real world
- intuitionistic logic
- topology preserving
- directional relations
- proof theory
- classical logic
- data quality
- information systems
- artificial intelligence