Lattice logic as a fragment of (2-sorted) residuated modal logic.
Chrysafis HartonasPublished in: J. Appl. Non Class. Logics (2019)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- classical logic
- epistemic logic
- inference rules
- nonmonotonic logics
- automata theoretic
- dynamic logic
- modal operators
- situation calculus
- conditional logic
- sequent calculus
- natural language
- domain knowledge
- autoepistemic logic
- expert systems
- lattice structure
- explanation based generalization