Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics.
Lukas GrätzPublished in: J. Log. Comput. (2022)
Keyphrases
- nonmonotonic logics
- modal logic
- epistemic logic
- inference rules
- default logic
- propositional logic
- decision procedures
- conditional logic
- dynamic logic
- nonmonotonic reasoning
- temporal logic
- kripke models
- valued semantics
- databases
- defeasible logic
- autoepistemic logic
- model checking
- truth values
- logical framework
- default theories
- modal operators
- classical logic
- model theoretic
- integrity constraints
- logic programming
- data management
- programming language
- special case