Institutional semantics for many-valued logics.
Razvan DiaconescuPublished in: Fuzzy Sets Syst. (2013)
Keyphrases
- modal logic
- conditional logic
- epistemic logic
- nonmonotonic logics
- propositional dynamic logic
- proof theory
- kripke models
- truth values
- modal operators
- default logic
- valued semantics
- default reasoning
- higher order logic
- dynamic logic
- decision procedures
- classical logic
- inference rules
- expressive power
- valued logic
- autoepistemic logic
- higher education
- logic programming
- proof theoretic
- formal semantics
- temporal logic
- computational properties
- conceptual clustering
- internal and external
- belief revision
- relational databases
- reasoning about actions
- neural network
- nonmonotonic reasoning