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]

[thumbnail of Full Text]
Text (Full Text)

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

Download (920B)


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 van 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