PP-2011-33: Inclusion and Exclusion Dependencies in Team Semantics: On Some Logics of Imperfect Information

PP-2011-33: Galliani, Pietro (2011) Inclusion and Exclusion Dependencies in Team Semantics: On Some Logics of Imperfect Information. [Report]

[img]
Preview
Text (Full Text)
PP-2011-33.text.pdf

Download (482kB) | Preview
[img] Text (Abstract)
PP-2011-33.abstract.txt

Download (719B)

Abstract

We introduce some new logics of imperfect information by adding atomic formulas corresponding to inclusion and exclusion dependencies to the language of first order logic. The properties of these logics and their relationships with other logics of imperfect information are then studied. Furthermore, a game theoretic semantics for these logics is developed. As a corollary of these results, we characterize the expressive power of independence logic, thus answering an open problem posed in (Grädel and Väänänen, 2010).

Item Type: Report
Report Nr: PP-2011-33
Series Name: Prepublication (PP) Series
Year: 2011
Uncontrolled Keywords: dependence; independence; team semantics; game semantics
Depositing User: pgallia1
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/437

Actions (login required)

View Item View Item