This page is maintained by Valentin Goranko. Last update: 16/08/2019, 13.30


GAMES LOGICIANS PLAY

Introductory course

at the

31st European Summer School in Logic, Language and Information (ESSLLI 2019)

Lecturer: Valentin Goranko

 

Course programme:

 

Lecture Date Main Topics Recommended readings (finally updated)

Supplementary readings (finally updated)

Slides and exercises (finally updated) Notes
Lecture 1 12/08

Introduction to the course.

Introduction to games in logic

Argumentation and dialogue games.

Logical evaluation games.

Evaluation games for modal logic (ML).

Wilfrid Hodges: Logic and Games, Stanford Encyclopedia of Philosophy, Sections 1-3.

Johan van Benthem: Chapters 14 and 17 from Logic in Games, MIT Press, 2014 (provided to the course participants)

 

 

Johan van Benthem: Logic in Games, MIT Press, 2014

Johan van Benthem: Logic Games: from tools to models of interaction, Tech Report,  Amsterdam, 2007.

Johan van Benthem: What Logic Games are Trying to Tell Us, Tech Report, Amsterdam, 2002

 James Garson: Modal Logic,  Stanford Encyclopedia of Philosophy

Sara Uckelman,  Interactive Logic in the Middle Ages

Sara Uckelman,  Medieval Disputationes de obligationibus as Formal Dialogue Systems

 

 

Introduction to the course

Lecture 1: Argumentation and dialogue games. Logical evaluation games. Evaluation games for modal logic.

 

Lecture 2

13/08

Evaluation games in First-order Logic (FO).

Model building / satisfiability games for PL and FOL.

 

 

Wilfrid Hodges: Logic and Games, Stanford Encyclopedia of Philosophy

Johan van Benthem: Chapters 14 and 16 from Logic in Games, MIT Press, 2014 (provided to the course participants)

 

Johan van Benthem: Logic Games: from tools to models of interaction, Tech Report,  Amsterdam, 2007.

Gabriel Sandu, Games and Logic , Section 4. chapter in: The Baltic International Yearbook on Cognition, Logic, and Communication, vol. 8, 2013

Evaluation games in First-order Logic (FOL). Model building / satisfiability games for PL, FOL and modal logics (complete slides)

 

 
Lecture 3 14/08

Model building / satisfiability games for ML.

Model comparison games.

Modal equivalence of Kripke models. Bisimulations. Bisimulation games.

Johan van Benthem: Chapter 15 from Logic in Games, MIT Press, 2014

Valentin Goranko and Martin Otto: Model Theory of Modal Logic, Chapter in: Handbook of Modal Logic, Elsevier, 2006, pp. 249-329. Sections 2, 3.1-3.3

Colin Stirling: Bisimulation, model checking and other games, lecture notes, Edinburgh, 1997

Model building / satisfiability games for modal logics (last part of the slides on Lecture 2)

Model comparison games.
Bisimulation games and modal equivalence (complete slides)

 
Lecture 4

15/08

Modal characteristic formulae, modal equivalence and bisimulation games together.

Model comparison games for FOL. Ehrenfeucht-Fraisse games.

 

Johan van Benthem: Chapter 15 from Logic in Games, MIT Press, 2014

Kees Doets: Basic Model Theory, CSLI Publications, Stanford, 1996

Jouko Väänänen: Models and Games, Cambridge Univ. Press,  2011

Leonid Libkin: Elements of Finite Model Theory,  Springer, 2012

On modal logic and bismimulation games: see the full slides for Lecture 3

Model comparison games for FOL. Ehrenfeucht-Fraisse games (complete slides)

 

 
Lecture 5 16/08

Ehrenfeucht-Fraisse games and elementary equivalence.

Ehrenfeucht's and Fraǐissé’s theorems.

Finite variable fragments of FO and pebble games.

Model comparison games and logical non-definability.

Game-theoretic semantics.

Logical games with imperfect information.

 

Johan van Benthem: Chapter 16 from Logic in Games, MIT Press, 2014

Kees Doets: Basic Model Theory, CSLI Publications, Stanford, 1996

Jouko Väänänen: Models and Games, Cambridge Univ. Press,  2011

Leonid Libkin: Elements of Finite Model Theory,  Springer, 2012

Tero Tulenheimo: Independence Friendly Logic,  Stanford Encyclopedia of Philosophy

Jaakko Hintikka: Game-theoretical semantics as a challenge to proof theory, Nordic Journal of Philosophical Logic 4:127-142 (1999)

Erich Graedel: Back and Forth Between Logic and Games,  chapter in: In Lectures in Game Theory for Computer Scientists, Springer, 2011. pp. 99-145.  

Ehrenfeucht-Fraisse games and elementary equivalence (see complete slides for Lecture 4).

Finite variable fragments of FO and pebble games.

Model comparison games and logical non-definability.

Game-theoretic semantics. Logical games with imperfect information.

 

 

 

Slides, notes, exercises, and other reading materials:

Slides and other reading materials will be provided or linked to this page on an ongoing basis during the course

Queries:

If you have any queries on the information above, talk to me or send me an email.