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