Conference Paper

Concrete Epistemic Modal Logic: Flatland.

DOI: 10.1007/978-3-642-21350-2_9 Conference: Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings
Source: DBLP

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.

  • Source
    [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


Available from
Sep 22, 2014