Game-Theoretical Semantics Generalized
8 novembre, 13h-15h
Maison de la Recherche, salle F1.07
I present a way of generalizing Game-Theoretical Semantics, by enriching positions of games with a new component called `mode'. In connection with certain languages (including IF logic) classical negation becomes game-theoretically interpretable. Ways of capturing certain fragment of higher-order logic in this setting are discussed.