PP-2016-02: Tracking Information

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

[thumbnail of Full Text]
Preview
Text (Full Text)
PP-2016-02.text.pdf

Download (384kB) | Preview
[thumbnail of Abstract] Text (Abstract)
PP-2016-02.abstract.txt

Download (682B)
[thumbnail of Full Text (Jan 2016 version)]
Preview
Text (Full Text (Jan 2016 version))
PP-2016-02.text-Jan-2016.pdf

Download (366kB) | Preview

Abstract

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.

Note:
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