Keyphrases
- propositional dynamic logic
- valued logic
- proof theory
- nonmonotonic logics
- conditional logic
- epistemic logic
- modal logic
- valued semantics
- proof theoretic
- default reasoning
- expressive power
- propositional logic
- higher order logic
- formal semantics
- inference rules
- databases
- proof procedures
- intuitionistic logic
- kripke models
- semantic information
- dynamic logic
- logical formulas
- modal operators
- autoepistemic logic
- nonmonotonic reasoning
- temporal logic
- semantic web
- fuzzy sets
- grounded semantics
- database