Keyphrases
- modal logic
- kripke models
- nonmonotonic logics
- epistemic logic
- inference rules
- conditional logic
- fuzzy sets
- valued logic
- propositional dynamic logic
- decision procedures
- proof theory
- modal operators
- temporal logic
- dynamic logic
- fuzzy logic
- membership functions
- autoepistemic logic
- model theoretic
- model checking
- higher order logic
- desirable properties
- proof theoretic
- expressive power
- proof procedures
- valued semantics
- classical logic
- formal semantics
- fuzzy set theory
- fuzzy description logics
- fuzzy numbers
- computational properties
- truth values
- logical framework
- semantic information
- logic programming
- expert systems
- decision making
- default logic
- knowledge representation formalisms
- fuzzy clustering
- multi agent