PP-2011-33: Galliani, Pietro (2011) Inclusion and Exclusion Dependencies in Team Semantics: On Some Logics of Imperfect Information. [Report]
Preview |
Text (Full Text)
PP-2011-33.text.pdf Download (482kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
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 |
