Simpler completeness proofs for modal logics with intersection.
Yì N. WángThomas ÅgotnesPublished in: CoRR (2020)
Keyphrases
- modal logic
- decision procedures
- formal proofs
- sequent calculus
- temporal logic
- inference rules
- equational theories
- theorem proving
- nonmonotonic logics
- cut elimination
- epistemic logic
- dynamic logic
- default logic
- classical logic
- automated reasoning
- natural deduction
- theorem prover
- situation calculus
- autoepistemic logic
- artificial intelligence
- data quality
- special case
- cooperative