PP-2006-07: Information as Correlation versus Information as Range

PP-2006-07: van Benthem, Johan (2006) Information as Correlation versus Information as Range. [Report]

[thumbnail of Full Text]
Text (Full Text)

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

Download (770B)


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

Item Type: Report
Report Nr: PP-2006-07
Series Name: Prepublication (PP) Series
Year: 2006
Uncontrolled Keywords: situation theory; constraint model; ; epistemic logic; dependence logic; ; guarded fragment; product models; ; dynamics
Subjects: Logic
Depositing User: Johan van Benthem
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/182

Actions (login required)

View Item View Item