This is a small workshop on June 22, 2010, in connection with the event:
22 June 2010, PhD defense of Jarmo Kontinen
Title: Coherence and Complexity in Fragments of Dependence Logic
Date and time: Tuesday 22 June 2010, 12:00
Location: Agnietenkapel, Oudezijds Voorburgwal 231, Amsterdam
Promotor: Jouko Väänänen
Place of Workshop: Lecture hall C3.05 at the OMHP building Oudemanhuispoort 4-6 1012 CN Amsterdam.
15:00 | Workshop starts | ||
15:00 | Davide Grossi | Amsterdam | Dependence in Games and Dependence Games |
15:25 | Discussion | ||
15:30 | Peter Lohmann | Hannover | Complexity Results for Modal Dependence Logic |
16:55 | Discussion | ||
16:00 | Break | ||
16:15 | Lauri Hella | Tampere | Partially ordered connectives, CSP and dependence logic |
16:40 | Discussion | ||
16:45 | Pietro Galliani | Amsterdam | Coherence and Epistemic Operators in Dependence Logic |
17:10 | Discussion | ||
17:15 | Theo Janssen | Amsterdam | Skolem forms in classical logic by using IF logic |
17:40 | Discussion | ||
17:45 | Juha Kontinen | Helsinki | On negation in dependence logic |
18:15 | Discussion |
Interested participants are kindly requested to send an e-mail to jouko.vaananen@helsinki.fi.
This is a LINT DepLog event.
Title: Dependence in Games and Dependence Games
Abstract: The talk provides a formal analysis of a notion of dependence between players in a game. We will show: first, how this notion of dependence allows for an elegant characterization of a property of reciprocity for the outcomes of a game; and second, how it can be used to ground new cooperative solution concepts for strategic games, where coalitions can force outcomes only in the presence of reciprocal dependences. The talk presents joint work with Paolo Turrini (Utrecht University).