
por Johan van Benthem · 1991
Ver sugerenciasSinopsis
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.
Sé el primero en valorar este libro.
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.