Muchas teorías lógicas se asientan en la semántica de juegos.