Keyphrases
- expressive power
- modal logic
- multi valued
- inference rules
- classical logic
- proof theoretic
- single valued
- propositional dynamic logic
- normative systems
- epistemic logic
- conditional logic
- nonmonotonic logics
- multi agent systems
- cooperative
- decision trees
- proof theory
- electronic institutions
- artificial intelligence
- databases
- propositional calculus
- real time