Compatibility and accessibility: lattice representation for semantics of non-classical and modal logics.
Wesley H. HollidayPublished in: CoRR (2022)
Keyphrases
- modal logic
- nonmonotonic logics
- epistemic logic
- conditional logic
- decision procedures
- inference rules
- valued logic
- temporal logic
- classical logic
- dynamic logic
- modal operators
- kripke models
- lattice structure
- autoepistemic logic
- graphical representation
- default logic
- model checking
- semantic representation
- formal semantics
- model theoretic
- nonmonotonic reasoning
- propositional logic
- logic programming
- special case