Advancing Automated Theorem Proving for the Modal Logics D and S5.
Jens OttenPublished in: ARQNL@IJCAR (2022)
Keyphrases
- automated theorem proving
- modal logic
- classical logic
- inference rules
- theorem proving
- theorem prover
- decision procedures
- temporal logic
- answer set programming
- epistemic logic
- situation calculus
- default logic
- autoepistemic logic
- nonmonotonic logics
- automated reasoning
- first order logic
- artificial intelligence
- logic programming
- sufficient conditions
- fuzzy logic