Logical formalism of the camera planning problem

working on formalizing the camera planning problem in modal, temporal(or maybe interval temporal) and epistemic logics. Thats going to take a while before I go to sleep tonight.

Anyway, here's a link to the Reasoning about knowledge paper.