From Kripke to Neighborhood Semantics for Modal Fuzzy Logics.
Petr CintulaCarles NogueraJonas RoggerPublished in: IPMU (2) (2016)
Keyphrases
- modal logic
- kripke models
- nonmonotonic logics
- epistemic logic
- conditional logic
- modal operators
- inference rules
- decision procedures
- temporal logic
- dynamic logic
- classical logic
- fuzzy logic
- autoepistemic logic
- fuzzy sets
- valued logic
- default logic
- fuzzy rules
- multi agent
- action theories
- membership functions
- fuzzy numbers
- situation calculus
- model theoretic
- formal semantics
- fuzzy set theory
- fuzzy neural network
- neural network
- nonmonotonic reasoning
- fuzzy clustering
- model checking
- proof theory
- logic programming
- propositional dynamic logic
- coalition logic