Towards a specification theory for fuzzy modal logic.
Manisha JainLeandro GomesAlexandre MadeiraLuís Soares BarbosaPublished in: TASE (2021)
Keyphrases
- modal logic
- temporal logic
- inference rules
- decision procedures
- fuzzy variable
- fuzzy sets
- modal operators
- fuzzy logic
- nonmonotonic logics
- classical logic
- kripke models
- default logic
- epistemic logic
- conditional logic
- specification language
- prime implicates
- fuzzy set theory
- general theory
- logical framework
- formal methods
- situation calculus
- autoepistemic logic
- formal specification
- membership functions
- higher order