Keyphrases
- expressive power
- high frequency
- high resolution
- modal logic
- sampling theorem
- low pass filtering
- frequency domain
- inference rules
- conditional logic
- propositional calculus
- proof theory
- nonmonotonic logics
- high quality
- reconstruction error
- default logic
- spatial resolution
- super resolution
- low pass
- classical logic
- computational properties
- first order logic
- motion estimation
- image sequences
- propositional dynamic logic