Keyphrases
- expressive power
- modal logic
- tableau calculus
- classical logic
- proof theory
- epistemic logic
- databases
- real time
- propositional dynamic logic
- inference rules
- coalition logic
- proof procedures
- monotonicity constraints
- nonmonotonic logics
- decision procedures
- computational properties
- expert systems
- case study
- learning algorithm
- neural network