Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5.
Norihiro KamidePublished in: J. Log. Lang. Inf. (2023)
Keyphrases
- cut elimination
- sequent calculus
- modal logic
- sequent calculi
- epistemic logic
- nonmonotonic logics
- conditional logic
- inference rules
- dynamic logic
- kripke models
- modal operators
- autoepistemic logic
- decision procedures
- temporal logic
- classical logic
- default logic
- model theoretic
- logic programming
- formal semantics
- default reasoning
- default theories
- logical framework
- expert systems
- partial order
- model checking
- dynamic programming
- data model