Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics.
Jennifer M. DavorenPublished in: LFCS (2007)
Keyphrases
- modal logic
- classical logic
- valued logic
- nonmonotonic logics
- epistemic logic
- conditional logic
- kripke models
- modal operators
- decision procedures
- temporal logic
- dynamic logic
- autoepistemic logic
- inference rules
- default logic
- logical framework
- default theories
- model theoretic
- model checking
- fuzzy set theory
- logic programming
- nonmonotonic reasoning
- linear logic
- formal semantics
- propositional logic
- programming language
- sequent calculus