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

Zoekresultaten

Zoekopdracht: faculteit: "FNWI" en publicatiejaar: "2008"

AuteurPietro Galliani
TitelGame values and equilibria for undetermined sentences of Dependence Logic
Jaar2008
FaculteitFaculteit der Natuurwetenschappen, Wiskunde en Informatica
Instituut/afd.FNWI/FGw: Institute for Logic, Language and Computation (ILLC)
SerieILLC Master of Logic Theses / ILLC ; MoL-2008-08
SamenvattingGame values and equilibria for undetermined sentences of Dependence Logic
Pietro Galliani

Abstract:

Logics of imperfect information, such as IF-Logic or Dependence Logic,
admit a game-theoretic semantics: every formula \phi corresponds to a
game H(\phi) between a Verifier and a Falsifier, and the formula is
true [false] if and only if the Verifier [Falsifier] has a winning
strategy.

Since the rule of the excluded middle does not hold in these logics,
it is possible for a game H(\phi) to be undetermined; this thesis
attempts to examine the values of such games, that is, the maximum
expected payoffs that the Verifier is able to guarantee.

For finite models, the resulting "Probabilistic Dependence Logic" can
be shown, by means of the Minimax Theorem, to admit a compositional
semantics similar to Hodges’ one for Slash Logic.
Soort documentPreprint
Download bestand
Document finderUvA-Linker