PP-2016-02: Tracking Information

PP-2016-02: van Benthem, Johan (2016) Tracking Information. [Report]

[thumbnail of Full Text]
Text (Full Text)

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

Download (682B)
[thumbnail of Full Text (Jan 2016 version)]
Text (Full Text (Jan 2016 version))

Download (366kB) | Preview


Depending on a task at hand, information can be represented at different levels, less or more detailed, each with their own appropriate logical languages. We discuss a few of these levels, and their connections, and how information growth at one level can be tracked at another. The resulting view has two intertwined dynamics for informational agents: one of update and one of representation.

The final version of this paper will appear in the 2016 volume for Michael Dunn in the Springer series "Outstanding Contributions to Logic", edited by Katalin Bimbo.

Item Type: Report
Report Nr: PP-2016-02
Series Name: Prepublication (PP) Series
Year: 2016
Uncontrolled Keywords: information, dynamic logic, tracking, evidence models
Subjects: Logic
Depositing User: Johan van Benthem
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/538

Actions (login required)

View Item View Item