Swap structures semantics for Ivlev-like modal logics.
Marcelo E. ConiglioAna Claudia GolzioPublished in: Soft Comput. (2019)
Keyphrases
- modal logic
- nonmonotonic logics
- epistemic logic
- conditional logic
- decision procedures
- modal operators
- kripke models
- dynamic logic
- temporal logic
- autoepistemic logic
- inference rules
- model theoretic
- default logic
- classical logic
- situation calculus
- model checking
- formal semantics
- graph cuts
- propositional logic
- logic programming