Effective Semantics for the Modal Logics K and KT via Non-deterministic Matrices.
Ori LahavYoni ZoharPublished in: IJCAR (2022)
Keyphrases
- modal logic
- nonmonotonic logics
- epistemic logic
- conditional logic
- inference rules
- decision procedures
- modal operators
- autoepistemic logic
- dynamic logic
- formal semantics
- kripke models
- multi agent systems
- temporal logic
- special case
- classical logic
- default logic
- propositional logic
- singular value decomposition
- logic programs