Modal Operators on Compact Regular Frames and de Vries Algebras.

Guram Bezhanishvili Nick Bezhanishvili John Harding

Published in: Appl. Categorical Struct. (2015)

Keyphrases

modal operators
modal logic
temporal logic
dynamic logic
situation calculus
video frames
partially ordered
video summaries
moving objects
nonmonotonic logics
communicative acts
dynamical systems
temporal reasoning