PP-2004-20: The Geometry of Knowledge

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

Text (Full Text)

Download (247kB) | Preview
[img] 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 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