Modal Logic of Some Products of Neighborhood Frames.
Andrey KudinovPublished in: Advances in Modal Logic (2012)
Keyphrases
- modal logic
- temporal logic
- inference rules
- decision procedures
- classical logic
- nonmonotonic logics
- dynamic logic
- situation calculus
- epistemic logic
- video frames
- description logic alc
- moving objects
- prime implicates
- conditional logic
- frame rate
- default logic
- modal operators
- explanation based generalization
- logic programs
- motion estimation