Topological Completeness of Logics above S4.

Guram Bezhanishvili David Gabelaia Joel Lucero-Bryan

Published 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