mercredi 7 novembre 2012

Séance du 8 novembre 2012

Game-Theoretical Semantics Generalized
Tero Tulenheimo

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.

Aucun commentaire:

Enregistrer un commentaire