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:

• The first (mainly organisational) seminar meeting will take place

  Friday, March 12, 2010, 12:00 - 13:00,
  Seminarraum E185.2 (Seminar room of the Theory and Logic Group)
  Favoritenstraße 9 / Stiege 1
  3. Stock (= 4th floor), yellow zone
  

  Since topics, presentations, and all further dates will be fixed there, you can only join the seminar if you are present.

• A general organisational meeting for all special courses of the Theory and Logic Group will take place

  Monday, March 8, 11:30-12:30
  Zemanek Room, Favoritenstraße 9-11, ground floor, (light green zone)

• 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 time 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

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.