PP-2004-20: The Geometry of Knowledge

PP-2004-20: van Benthem, Johan and Sarenac, Darko (2004) The Geometry of Knowledge. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (247kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (649B)


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.

Item Type: Report
Report Nr: PP-2004-20
Series Name: Prepublication (PP) Series
Year: 2004
Uncontrolled Keywords: epistemic models; topological models; knowledge
Subjects: Logic
Depositing User: Johan van Benthem
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/131

Actions (login required)

View Item View Item