Keyphrases
- expressive power
- modal logic
- conditional logic
- worst case
- propositional dynamic logic
- propositional calculus
- proof theory
- canonical form
- truth values
- computational properties
- classical logic
- inference rules
- search algorithm
- data sets
- higher order
- multi agent
- multiscale
- decision trees
- decision making
- simple polygon
- real time