Concrete Epistemic Modal Logic: Flatland.
ABSTRACT In this paper, we give a logic for perception and knowledge: Flatland. This semantics of this framework is a concrete Kripke
model so that it is an easy-to-understand toy example for students. We present a piece of software called Plaza’s world enabling to check formulas in such a concrete Kripke model and to announce formulas.
SourceAvailable from: François Schwarzentruber
Conference Paper: Seeing, Knowledge and Common Knowledge.[Show abstract] [Hide abstract]
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.Logic, Rationality, and Interaction - Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings; 01/2011