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


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.

Download full-text


Available from: François Schwarzentruber, Sep 22, 2014
  • 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.
    Full-text · Conference Paper · Oct 2011