Workshop on Logical Dialogue Games

Vienna, September 28 - 30, 2015
co-organised by the TU Vienna and the University of Bamberg

Formal logic can be viewed through the lens of game theory as witnessed by Lorenzen's dialogue game for intuitionistic logic. By connecting proofs on the one hand to winning strategies on the other hand one may strive for a deeper understanding of logical concepts like validity, (in)dependence, or possibility. Vice versa, one may investigate how certain properties of these games are reflected in the resulting logics. This workshop is intended to bring together the latest research in dialogical logic.

Invited Speakers

Erik C.W. Krabbe
University of Groningen []

Helge Rückert
Universität Mannheim []


The workshop will take place at the TU Vienna at Favoritenstrasse 9-11, 1040 Vienna:


Participation is free of charge. If you are interested in joining, please send an email to


Location: Seminar Room "Gödel", ground floor Favoritenstraße 9; access through the court yard.

Monday, September 28
15:00 - 16:00 Erik Krabbe Quick, Quick, Slow: The Foxtrot of Completeness Proofs in Dialogue Logic [Talk: pdf Handout: pdf(ger) pdf(eng)]
16:00 - 16:30 Coffee break
16:30 - 17:10 Martin Sticht        Multi-Agent Dialogue Games and Dialogue Sequents [Slides: pdf]
17:10 - 18:10 Michael Mendler Game-theoretic Semantics of Synchronous Reactions.
Tuesday, September 29
10:00 - 11:00 Helge Rückert Dialogue Games as a Semantics [Slides: pdf]
11:00 - 11:30 Coffee break
11:30 - 12:10 Stefano Berardi Games with Sequential Backtracking [Slides: pdf]
12:10 - 14:00 Lunch break
14:00 - 15:00 Rohan French Prover-Skeptic Games and Logical Pluralism
15:00 - 15:30 Coffee break
15:30 - 16:10 Christian Fermüller Lorenzen-style Dialogues and Substructural Sequent Systemsi [Slides: pdf]
16:10 - 16:50 Christoph Roschger /
Matthias Hofer
Giles Games, Vague Quantifiers, and Contexts [Slides: pdf]
16:50 - 17:20 Coffee break
17:20 - 18:40 Round table
19:00 Workshop Dinner

Slides by Gianluigi Bellin are available » here.


Those interested in presenting a talk at the workshop should submit a short abstract (1-2 pages) to before September 15.


The workshop's local organizers are:
  • Chris Fermüller (TU Vienna) [Website]
  • Christoph Roschger (TU Vienna) [Website]
To contact the organizers, send an email to