Seminar in Logic (185.316), SS 2016

Chris Fermüller


Language: The course is held in English.

From here on:
Information on Chris Fermüller's part of the seminar only!
If you want to work with Agata Ciabattoni (topic: proof theory of nonclassical logics) drop her an email.



News:


From here on:
Information on Chris Fermüller's part of the seminar only!


Contents

This year's seminar topic is Logic and Games.
Corresponding literature will be made accessible to all participants. Of particular relavance is the book

Logic in Games
by Johan van Benthem
MIT Press, 2014.
but also various articles (see Additional course material, below.)


Schedule of talks

The following two meetings have been fixed.
("LiG" referers to van Benthem's
Logic in Games)

Additional Course material

The following papers contain further possible topics for presentation:


Assessment/Credits

Participants have to prepare a short lecture (about 25-30 minutes, excluding discussions) 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 active participation in discussions.


Chris Fermüller
Viewable With Any Browser