Logics for Dynamics of Information and Preferences
Working sessions

There is a mailing list for these sessions. If you want to participate and/or register to the list, please email me (Olivier): oroy at science dot uva dot nl

Click here for last year's schedule.

 

Meeting date
Speaker and Working material


September 5th
15.00-17.00 : Room P3.27, Euclides Building

Season opening.

  1. Setting the agenda
  2. Johan on his joint work with Eric Pacuit and Jelle Gerbrandy on logics of protocols
    Summary of the presentation.


September 12
15.30-17.45 : Room P1.14, Euclides Building

Double feature!

  1. 15.30 - 16.30
    Dr Dongmo Zhang
    (University of Western Sydney, Australia)
    Reasoning about Bargaining (Abstract)
  2. 16.45 - 17.45
    Olivier
    Public announcements logic for games with intentions


September 19
15.30-17.30 : Room P1.14, Euclides Building

 

 Johan & Daisuke
Closure Properties of Modal Fixed-Point Languages (Abstract)


October 3
15.30-17.30 : Room P1.14, Euclides Building

 

 Alexandru Baltag
From Dynamic Belief Revision to Dynamic Rationality:
A DEL approach to the Aumann-Stalnaker debate on backwards induction


October 10
15.30-17.30 : Room P0.15B, Euclides Building

 

 Stefan Minica
A possible dynamic twist for dialogical/interrogative logics
(Abstract)


October 17
15.30-17.30 : Room P0.15B, Euclides Building

 

 Sonja Smets
A Dynamic-Logical Perspective on Quantum Behavior (Abstract)


October 24
15.30-1745 : Room P0.15B, Euclides Building

 

Double session!

  1. 15.30 - 16.30 : Tomohiro Hoshi
    Logics of Public Announcements with Announcement Protocols (Abstract)
  2. 16.45 - 17.45 : Robert van Rooij
    Semi-orders and satisficing behavior (Abstract)


October 31
15.30-17.30 : Room P0.15B, Euclides Building

 

 Denis Bonnay
Token semantics for modal logic (Abstract)

 

November 7
15.30-17.30 : Room P0.15B, Euclides Building

 

 Fernando Velazquez-Quesada
An epistemic inference language (Abstract)

 

November 14
15.30-17.30 : Room P0.15B, Euclides Building

 

 Patrick Girard
Modal logic for preference aggregation (Abstract)

 

November 21
15.30-17.30 : Room P0.15B, Euclides Building

 

 Jonathan Zvesper
Assumption-comleteness: a modal logic problem from
the epistemic foundations of game theory

 

November 28
No talk.

 

 No talk.

 

December 5
Room P3.27
Euclides Building

 

Utrecht-Amsterdam day!

(Abstracts)

12.30-12.45 Welcome by Johan van Benthem

Session 1: Chair, Fenrong Liu
12.45-13.25 Paolo Turrini (Computer Science)
A Deontic Logic for Socially Optimal Norms

13.25-14.05 Rosja Mastop (Philosophy)
On granting choices. Deontic logic as founded on Update
semantics

14.05-15.30 Patrick Girard (Stanford)

15.30-15.45 Coffee break

Session 2: Chair, Alexandru Baltag
15.45-16.25 Jan Broersen (Computer science)
Doing Things (Un)knowingly: Explorations in Epistemic STIT Theory

16.25-17.05 Thomas Müller (Philosophy)
Doing several things at once -- A challenge for a spatial
extension of STIT

 

December 7
16.00-18.00 : Room P3.27, Euclides Building

 

 Joint event with the GLoRiClass Seminar
Willemien Kets (Tilburg University and Santa Fe Institute)
Beliefs in Network Games (Abstract)

 

December 18
13.45-16.00 : Room P0.19, Euclides Building

 

Double feature!

13.45 - 14.45 : Iouri Netchitailov, title t.b.a.

15.00 - 16.00 : Patrick Allo (Centre for Logic and Philosophy of Science Vrije Universiteit Brussel)
Adaptive logic presented in "almost Amsterdam-style": an outline and an application (Abstract)