8 Valued Non-Deterministic Semantics for Modal Logics.
Pawel PawlowskiDaniel SkurtPublished in: J. Philos. Log. (2024)
Keyphrases
- modal logic
- nonmonotonic logics
- epistemic logic
- conditional logic
- kripke models
- default logic
- decision procedures
- autoepistemic logic
- valued semantics
- modal operators
- inference rules
- dynamic logic
- temporal logic
- classical logic
- valued logic
- model theoretic
- formal semantics
- situation calculus
- default theories
- model checking
- nonmonotonic reasoning
- propositional logic
- data management
- logical framework
- default reasoning