MoL200808: Galliani, Pietro (2008) Game values and equilibria for undetermined sentences of Dependence Logic. [Report]

Text (Full Text)
MoL200808.text.pdf Download (588kB)  Preview 

Text (Abstract)
MoL200808.abstract.txt Download (851B) 
Abstract
Logics of imperfect information, such as IFLogic or Dependence Logic, admit a gametheoretic 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.
Item Type:  Report 

Report Nr:  MoL200808 
Series Name:  Master of Logic Thesis (MoL) Series 
Year:  2008 
Date Deposited:  12 Oct 2016 14:38 
Last Modified:  12 Oct 2016 14:38 
URI:  https://eprints.illc.uva.nl/id/eprint/803 
Actions (login required)
View Item 