Leon Henkin, Paul Lorenzen y Jaakko Hintikka iniciaron una aproximación a la semántica de los lenguajes formales que explica con conceptos de teoría de juegos los conceptos de verdad lógica, validez y similares.