The Geometry of Knowledge
Johan van Benthem, Darko Sarenac

Abstract:
The most widely used attractive logical account of knowledge uses
standard epistemic models, i.e., graphs whose edges are
indistinguishability relations for agents. In this paper, we discuss
more general topological models for a multi-agent epistemic language,
whose main uses so far have been in reasoning about space. We show
that this more geometrical perspective affords greater powers of
distinction in the study of common knowledge, defining new collective
agents, and merging information for groups of agents.


Keywords: epistemic models;  topological models;  knowledge