The UvA-LINKER will give you a range of other options to find the full text of a publication (including a direct link to the full-text if it is located on another database on the internet).
De UvA-LINKER biedt mogelijkheden om een publicatie elders te vinden (inclusief een directe link naar de publicatie online als deze beschikbaar is in een database op het internet).


Zoekopdracht: faculteit: "FNWI" en publicatiejaar: "2012"

AuteurP. Galliani
TitelThe dynamics of imperfect information
PromotorJ. Väänänen
UitgeverInstitute for Logic, Language and Computation
Pagina'sxi, 199
FaculteitFaculteit der Natuurwetenschappen, Wiskunde en Informatica
Instituut/afd.FNWI: Institute for Logic, Language and Computation (ILLC)
SamenvattingWe examine doxastically inspired variants and extensions of Dependence Logic which arise from the consideration of announcement operators and non-functional dependence atoms. We solve several open questions of the area, among them the following two: 1. The ∀1 quantifier of (Kontinen and Väänänen, 2009) is not uniformly definable in Dependence Logic; 2. All NP properties of teams are definable in Independence Logic. Furthermore, we generalize Cameron and Hodges’ result about the combinatorial properties of compositional semantics for logics of imperfect information to the infinite case, thus introducing a new notion of sensible semantics; and we develop a “general” semantics for Independence Logic (or logics contained in it, such as Dependence Logic) as well as a proof system for which we prove soundness and completeness. We then examine the dynamics of information update which lies beneath the appearance of Team Semantics, extending van Benthem’s mutual embedding result between First Order Logic and Dynamic Game Logic (DGL) to the cases of Dependence Logic and an imperfect-information variant of DGL. We use the insights arising from the embedding to develop dynamic variants of Dependence Logic and a Team Transition Semantics in which expressions are interpreted as transition systems over teams. Finally, we show that many of the operators and connectives considered in Team Semantics have natural interpretations in terms of belief descriptions and belief updates, and we argue in favor of the doxastic interpretation of this semantical framework.
OpmerkingenILLC dissertation series DS-2012-07
Soort documentProefschrift
Document finderUvA-Linker