Merging Observation and Access in Dynamic Logic
Johan van Benthem

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.