Seeing, knowledge and common knowledge

Abstract

We provide a multi-agent spatially grounded epistemic logical framework to reason about the knowledge of perception (agent a sees agent b) whose potential applications are video games and robotics. Contrary to the classical epistemic modal logic, we prove that in some configurations the logic with the common knowledge operator is as expressive as the logic without the common knowledge operator. We give some complexity results about the model-checking. © 2011 Springer-Verlag.