<\/p>\n
This Thursday 26th of March<\/strong> at 15:00<\/strong> hrs we will have a talk<\/strong> in our seminar’s sessions. This time, Pietro Galliani<\/strong> will talk about “Dependence Logic, Coalitions and Announcements<\/em><\/strong>” (abstract follows). After the talk, further discussions about the topic and other dynamic business can take place with some drinks!<\/p>\n The meeting will take place in room 1.14<\/strong> of the P building (Euclides)<\/strong>.<\/p>\n Logics of imperfect information are extensions of FOL which allow more complex pattern of variable dependence and independence. We are going to consider the “players as coalitions” interpretation of the associated games (van Benthem, The Epistemic Logic of IF Games<\/a><\/em><\/strong>, 2003; Pietarinen and Sandu, IF Logic, Game-Theoretical Semantics, and the Philosophy of Science<\/em><\/strong>, 2004), especially with respect to Probabilistic Dependence Logic (Galliani, Game values and equilibria for undetermined sentences of Dependence Logic<\/a><\/em><\/strong>, Sep 2008; Galliani, Probabilistic Dependence Logic<\/a><\/em><\/strong>, Dec. 2008) and Equilibrim Semantics (Sandu and Sevenster, to appear). <\/p>\n This approach, which will be seen to arise naturally from applications in communication modeling, data compression and data recovery, allows us to find a translation between the two above-mentioned frameworks.<\/p>\nAbstract<\/h3>\n
\n