Seminar in Logic (185.316), SS 2010
Topic: Games in Logic (and Logic in Games)

Chris Fermüller

Language: The course is held in English (unless all participants prefer German).

This course is primarily intended for students in computer science and mathematics, who are interested in the interface between logic and computer science. It is an optional or mandatory course, respectively, in the new Master Studies Computational Intelligence, Software Engineering & Internet Computing, Technische Informatik and in Computational Logic (European Masters Program in Computational Logic).

News:

• he organisational seminar meeting took place March 12, 2010, 12:00 - 13:00
• Further meetings take place

  Fridays, April 16, April 23, and May 7, 13:00-14:45
  EI 11 Geodäsie Hörsaal
  (Note the room change!)

• Registration: via TUWIS++, or if this fails, by email to chrisf@logic.at.

Contents

This year's seminar topic (again) is 'Games in Logic' and - depending on interest and number of participants - probably also 'Logic in Games'

• Evaluation games (Hintikka, Sandu)
• Dialogue games (Lorenzen, Giles)
• Ehrenfeucht-Fraisse games
• Truth comparison games (for Gödel logics)
• Modal logics for strategic and extensive games
• Epistemic foundations of solution concepts
• Game logic
• Coalition logic

Schedule of talks

Place: EI 11 Geodäsie Hörsaal
(Note that a different room has been announced in the organisational meeting)

• Logics in Games / Modal Logics for Games
  Ogjen Savkovic & Klaudius Kalcher

• Evaluation Games
  Stephan Krall
• Games and Verification
  Friedrich Slivovsky

• Ehrenfeucht-Fraisse Games
  Peter Haberl & Martin Lackner

Course material

• A good starting point is the entry by Wilfred Hodges on Logic and Games in the Stanford Encyclopedia of Philosophy
• J. van Benthem: What Logic Games are Trying to Tell Us
• A. Pietarinen, G. Sandu: Games in philosophical logic
• J. van Benthem: Decisions, Actions, and Games: a logical perspective
• J. van Benthem: The Epistemic Logic of IF Games
• A quite different, but very nice topic for people with some interest also in historical questions (medieval logic):
  Catarina Dutilh Novaes: Medieval Obligationes as Logical Games of Consistency (accessible probably only from servers at TU Wien).
• Merlijn Sevenster Henkin quantifiers: logic, games, and computation
• Theo M.V. Janssen, Francien Dechesne: Signalling in IF games: a tricky business

Further links to/copies of relevant course material, as well as hints on additional literature, will be provided in the seminar.

Assessment/Credits

Participants have to prepare a short lecture on a selected topic. This talk should be accompanied by a brief summary (handout) of the relevant technical notions and results. Evaluation for 3.O ECTS points is based on the quality of the talk and the handout, and on regular participation.