On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations.
Jennifer M. DavorenPublished in: Ann. Pure Appl. Log. (2009)
Keyphrases
- nonmonotonic logics
- modal logic
- classical logic
- propositional dynamic logic
- conditional logic
- modal operators
- epistemic logic
- valued logic
- expressive power
- proof theory
- kripke models
- inference rules
- default logic
- autoepistemic logic
- decision procedures
- computational properties
- temporal logic
- dynamic logic
- higher order logic
- knowledge representation formalisms
- proof procedures
- valued semantics
- default reasoning
- horn logic
- logic programming
- knowledge base
- default theories
- nonmonotonic reasoning
- propositional logic
- temporal relations
- theorem prover