Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures
Alwen TiuEgor IanovskiRajeev GoréPublished in: CoRR (2012)
Keyphrases
- decision procedures
- proof theory
- sequent calculus
- modal logic
- reasoning problems
- cut elimination
- automated reasoning
- inference rules
- theorem proving
- default reasoning
- temporal logic
- default logic
- classical logic
- natural deduction
- theorem prover
- model theoretic
- situation calculus
- natural language
- linear logic
- horn clauses
- special case
- nonmonotonic reasoning
- machine learning
- model checking