Scattered and hereditarily irresolvable spaces in modal logic.
Guram BezhanishviliPatrick J. MorandiPublished in: Arch. Math. Log. (2010)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- conditional logic
- default logic
- dynamic logic
- classical logic
- nonmonotonic logics
- situation calculus
- sequent calculus
- prime implicates
- epistemic logic
- autoepistemic logic
- explanation based generalization
- relational databases
- description logic alc
- probabilistic reasoning
- model checking