Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures.
Alwen TiuEgor IanovskiRajeev GoréPublished in: Advances in Modal Logic (2012)
Keyphrases
- decision procedures
- proof theory
- sequent calculus
- modal logic
- reasoning problems
- cut elimination
- automated reasoning
- inference rules
- theorem proving
- theorem prover
- temporal logic
- natural deduction
- classical logic
- default logic
- natural language
- default reasoning
- knowledge representation
- model theoretic
- probabilistic reasoning
- linear logic
- reasoning tasks
- knowledge base
- artificial intelligence
- situation calculus
- first order logic
- constraint satisfaction problems