Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4.
Samuli HeilalaBrigitte PientkaPublished in: CADE (2007)
Keyphrases
- modal logic
- decision procedures
- classical logic
- default logic
- prime implicates
- autoepistemic logic
- interval valued
- inference rules
- model theoretic
- temporal logic
- theorem prover
- propositional logic
- horn clauses
- linear logic
- first order logic
- default reasoning
- nonmonotonic logics
- general logic programs
- nonmonotonic reasoning
- logical framework
- situation calculus
- default theories
- dynamic logic
- natural deduction
- conditional logic
- theorem proving
- partially ordered
- modal operators
- model checking
- natural language