Categoría: Lógica modal y sistemas Kripke

Estudio de la lógica que analiza la posibilidad, necesidad y otros modos de proposiciones, utilizando modelos como los sistemas Kripke para interpretar estos conceptos.