PP-2008-36: Merging Observation and Access in Dynamic Logic

PP-2008-36: van Benthem, Johan (2008) Merging Observation and Access in Dynamic Logic. [Report]

[img]
Preview
Text (Full Text)
PP-2008-36.text.pdf

Download (276kB) | Preview
[img] Text (Abstract)
PP-2008-36.abstract.txt

Download (920B)

Abstract

There are many different notions of information in logic, including observation-based range views, situation-theoretic correlation views, and more syntactic inferential views of what flows when we perform logical tasks. This paper shows how the latter type of more fine-grained information can be handled perspicuously in dynamic epistemic logic, by introducing syntactic 'access' to worlds, which can be modified by actions of 'realization', turning implicit into explicit knowledge. Examples of such actions are inference steps, 'explicit seeing', or introspection. We provide some complete logics and further results. This paper appeared in Volume 1 of the first Chinese logic journal "Logical Studies", Guangzhou, June 2008.

Item Type: Report
Report Nr: PP-2008-36
Series Name: Prepublication (PP) Series
Year: 2008
Uncontrolled Keywords: Semantic information; Inferential information; Dynamic epistemic logic; Awareness; Realization
Subjects: Logic
Depositing User: Johan Benthem
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/310

Actions (login required)

View Item View Item