Big Brother Logic: Reasoning about Agents Equipped with Surveillance Cameras in the Plane (Demonstration)

We consider multi-agent scenarios where each agent controls a surveillance camera positioned in the plane, with fixed position and angle of view, but rotating freely. The agents can thus observe the surroundings and each other. They can also reason about each other's observation abilities and knowledge derived from these observations. In this demonstration, cameras are located in the plane. The user can interact with the cameras, check epistemic properties and announce formulas. The camera can also turn in order to satisfy an epistemic property.