holandés
Johan van Benthem es un destacado filósofo y lógico holandés conocido por su trabajo en lógica, semántica y filosofía del lenguaje. Ha realizado importantes contribuciones en el campo de la lógica modal y la teoría de modelos.
Aplica el marco de la lógica modal y su semántica relacional (la heredera directa de la semántica de Kripke) al estudio formal del tiempo. Explora diferentes estructuras temporales (lineal, ramificado, denso) y los lenguajes lógicos apropiados para describirlas.
Aparecen junto a Johan van Benthem en búsquedas del archivo
