Keyphrases
- modal logic
- decision procedures
- sequent calculus
- temporal logic
- inference rules
- sequent calculi
- epistemic logic
- cut elimination
- conditional logic
- theorem proving
- classical logic
- nonmonotonic logics
- situation calculus
- artificial intelligence
- theorem prover
- data quality
- explanation based generalization
- default logic
- proof theory
- model checking
- prime implicates
- natural deduction
- natural language
- reinforcement learning