LTG Logic and Theory Group

• Wednesday, 11-13

Lecture Room B 13
ExWi
Sidlerstrasse 5
CH-3012 Bern

Game Semantics: For several logics the concept of theorem or valid formula or proof can be based on game-theoretic concept of the the existence of a winning strategy for a player in a specific game. For example dialogue games where one player try to disprove a formula and the other to defend its validity. Such semantics have been developed for various logics such as Classical logic, Intuitionistic logic, Linear logic, Lukasiewicz many-valued logic, Independence-Friendly logic among others. This seminar will be dedicated to the study of these game semantics and other connections between logics and games.

• G. Japaridze, In the beginning was game semantics. In “Games: Unifying logic, Language and Philosophy”. Springer, 2009.
• A.V. Pietarinen, Semantic games in logic and languages. Academic dissertation. University of Helsinki, Helsinki, 2002.
• A. Blass, A game semantics for linear logic, Annals of Pure and Applied Logic 56 (1992): 183-220