PP-2006-07: van Benthem, Johan (2006) Information as Correlation versus Information as Range. [Report]
Preview |
Text (Full Text)
PP-2006-07.text.pdf Download (102kB) | Preview |
Text (Abstract)
PP-2006-07.abstract.txt Download (770B) |
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.
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 |