Punctual, Linear and Planar Logics of Surveillance