Sémantique des Jeux

Une sémantique pour langages logiques qui interprète la vérité d'une formule dans un modèle comme l'existence d'une stratégie gagnante dans un jeu d'évaluation associé entre deux joueurs (Vérifieur et Falsificateur) ; connecteurs et quantificateurs sont traduits en règles de jeu gouvernant choix et conditions de victoire.