Information as Correlation versus Information as Range
Johan van Benthem

Abstract:
We compare two logical notions of information, one from situation
theory based on correlation between situations, and one from epistemic
logic, based on ranges of alternatives.  We show how both lead to
modal logics, that can be merged in a natural way, to obtain a
decidable guarded-style fragment of first-order logic that can even be
extended with dynamic events changing situations and/or our
information about them.  Finally, we consider some model constructions
on situations whose logic is of joint interest to both views of
information.