Keyphrases
- modal logic
- truth values
- valued logic
- high resolution
- expressive power
- approximation algorithms
- consequence finding
- closed form
- temporal logic
- inference rules
- relative error
- approximation methods
- fuzzy logic
- error bounds
- low resolution
- efficient computation
- nonmonotonic logics
- data mining
- propositional dynamic logic
- image sequences
- multi agent systems
- conditional logic
- approximation error
- higher resolution
- data sets
- multiresolution