Proof theory for quantified monotone modal logics.
Sara NegriEugenio OrlandelliPublished in: Log. J. IGPL (2019)
Keyphrases
- proof theory
- modal logic
- decision procedures
- default reasoning
- reasoning problems
- default logic
- automated reasoning
- inference rules
- temporal logic
- nonmonotonic logics
- classical logic
- boolean functions
- machine learning
- belief revision
- nonmonotonic reasoning
- partial order
- situation calculus
- probabilistic reasoning
- theorem prover
- constraint satisfaction
- model checking
- artificial intelligence