Some Connections between Topological and Modal Logic.
Kurt EngesserPublished in: Math. Log. Q. (1995)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- epistemic logic
- classical logic
- conditional logic
- dynamic logic
- topological properties
- autoepistemic logic
- situation calculus
- default logic
- nonmonotonic logics
- relational databases
- model checking
- topological features
- modal operators
- database systems
- explanation based generalization