Big brother logic: logical modeling and reasoning about agents equipped with surveillance cameras in the plane.