Completeness for an Intuitionistic Modal Logic of Vagueness.
Ahmee ChristensenPublished in: AiML (2022)
Keyphrases
- modal logic
- fuzzy set theory
- classical logic
- decision procedures
- temporal logic
- fuzzy sets
- fuzzy logic
- inference rules
- rough set theory
- nonmonotonic logics
- fuzzy numbers
- default logic
- situation calculus
- conditional logic
- possibility theory
- epistemic logic
- dynamic logic
- interval valued
- linear logic
- natural deduction
- sequent calculus
- machine learning
- explanation based generalization
- formal specification
- theorem prover
- machine translation
- model checking
- sufficient conditions
- expert systems
- artificial intelligence