Axiomatization of Crisp Gödel Modal Logic.
Ricardo Oscar RodríguezAmanda VidalPublished in: Stud Logica (2021)
Keyphrases
- modal logic
- situation calculus
- temporal logic
- fuzzy sets
- decision procedures
- inference rules
- social bookmarking
- epistemic logic
- conditional logic
- reasoning about actions
- classical logic
- prime implicates
- action theories
- initial state
- reasoning tasks
- autoepistemic logic
- dynamic logic
- modal operators
- complete axiomatization
- default logic
- fuzzy numbers
- artificial intelligence
- fuzzy logic
- kripke models
- nonmonotonic logics
- general theory
- model checking