Neighborhood semantics for modal many-valued logics.
Petr CintulaCarles NogueraPublished in: Fuzzy Sets Syst. (2018)
Keyphrases
- modal logic
- nonmonotonic logics
- epistemic logic
- conditional logic
- kripke models
- modal operators
- dynamic logic
- temporal logic
- decision procedures
- autoepistemic logic
- inference rules
- higher order logic
- situation calculus
- classical logic
- model theoretic
- propositional dynamic logic
- proof theory
- default reasoning
- default logic
- proof theoretic
- database
- defeasible logic
- truth values
- nonmonotonic reasoning
- action theories
- knowledge representation formalisms
- belief revision
- proof procedures
- coalition logic
- database systems