Simplified Kripke semantics for K45-like Godel modal logics and its axiomatic extensions.
Ricardo Oscar RodríguezOlim TuytLluís GodoFrancesc EstevaPublished in: CoRR (2021)
Keyphrases
- modal logic
- default logic
- kripke models
- nonmonotonic logics
- epistemic logic
- conditional logic
- default theories
- temporal logic
- autoepistemic logic
- modal operators
- dynamic logic
- decision procedures
- inference rules
- default reasoning
- argumentation semantics
- classical logic
- nonmonotonic reasoning
- situation calculus
- model theoretic
- logic programming
- formal semantics
- operational semantics