Intuitionistic Modal Logic: A 15-year retrospective.
Charles StewartValeria de PaivaNatasha AlechinaPublished in: J. Log. Comput. (2018)
Keyphrases
- modal logic
- classical logic
- temporal logic
- inference rules
- decision procedures
- theorem prover
- linear logic
- fuzzy set theory
- situation calculus
- epistemic logic
- dynamic logic
- autoepistemic logic
- interval valued
- nonmonotonic logics
- kripke models
- explanation based generalization
- theorem proving
- default logic
- fuzzy numbers
- model checking
- prime implicates
- logical framework
- conditional logic
- fuzzy information
- modal operators
- domain knowledge
- artificial intelligence
- machine learning