Modal Logics for Topological Spaces

Konstantinos Georgatos

Published in: CoRR (2000)

Keyphrases

topological spaces
modal logic
temporal logic
decision procedures
inference rules
epistemic logic
nonmonotonic logics
topological features
default logic
situation calculus
equivalence relation
approximation spaces
data mining
model checking
rough sets
decision trees
social networks