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

Preview |
Text (Full Text)
MoL-2008-08.text.pdf Download (588kB) | Preview |

Text (Abstract)
MoL-2008-08.abstract.txt Download (851B) |

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

Item Type: | Report |
---|---|

Report Nr: | MoL-2008-08 |

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 |