Semántica Teórica de Juegos

Una semántica para lenguajes lógicos que interpreta la verdad de una fórmula en un modelo como la existencia de una estrategia ganadora en un juego de evaluación asociado entre dos jugadores (Verificador y Falsificador); conectivos y cuantificadores se traducen en reglas de juego que gobiernan las elecciones y las condiciones de victoria.