Filtrations, canonical formulas, and axiomatizations of superintuitionistic and modal logics.
Nick BezhanishviliPublished in: AiML (2020)
Keyphrases
- modal logic
- decision procedures
- modal operators
- conditional logic
- temporal logic
- inference rules
- theorem proving
- classical logic
- situation calculus
- automated reasoning
- horn clauses
- model theoretic
- action theories
- epistemic logic
- default logic
- conjunctive queries
- nonmonotonic logics
- cooperative
- logic programming
- autoepistemic logic
- query language