Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications.
Xiaodong PanYang XuPublished in: Int. J. Comput. Intell. Syst. (2015)
Keyphrases
- fuzzy decision
- modal logic
- autoepistemic logic
- nonmonotonic logics
- default logic
- epistemic logic
- conditional logic
- prime implicates
- temporal logic
- dynamic logic
- modal operators
- inference rules
- kripke models
- default theories
- classical logic
- default reasoning
- predicate calculus
- propositional logic
- general logic programs
- model checking
- knowledge reduction
- description logic alc
- operational semantics
- formal semantics
- rough sets
- strong equivalence
- probabilistic logic
- knowledge acquisition
- fuzzy sets