Merging observation and access in dynamic epistemic logic

Logical systems have long been used to describe mathematical proof, structured computation, and linguistic meanings. In recent years, they are also coming to be used increasingly to study rational agency in its many aspects, from picking up single pieces of information to multi-agent actions of communication and goal-driven interaction generally. In particular, information flow through events of observation and communication has been studied using so-called dynamic epistemic logics of knowledge update, belief revision, and preference change. These logics use the'semantic sense'of information as ranges of possible options which get updated as new information comes in.
But equally importantly, rational agents also base their actions on information from other sources, such as inference and introspection. The latter is the area of more syntax-oriented senses of logical information as something which can be'elucidated'by agents. Perhaps surprisingly, there is much less of a consensus on what this information is, and what its key mechanisms consist in, though there are many competing proposals in the logical literature. Thus, logic is really a field with many different senses of'information'.
In this paper, we try to get clear on these issues by presenting one unified model of information, based on semantic ranges of possible worlds, but endowed with syntactic'access' to these worlds. This allows us to integrate external steps of'updating information'and internal steps of'elucidating information'into one system of dynamic logic. In particular, we propose two kinds of basic informational action: pure observation-based update('bare seeing') versus acts of'conscious realization'which turn implicit knowledge into explicit knowledge We show how this is a natural fit, which also provides many new research questions-many of them having to do with fitting further traditions into this picture of information-driven rational agency: including belief revision theory, situation semantics, and paraconsistent logics.