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]

Text (Full Text)

Download (102kB) | Preview
[img] 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 information.

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