Avances en Lógica Modal, Volumen 13

Opiniones de los lectores

Actualmente no hay opiniones de lectores. La calificación se basa en 2 votos.

Título original:

Advances in Modal Logic, Volume 13

Contenido del libro:

La lógica se ocupa de las nociones fundamentales de verdad y falsedad. La lógica modal surgió de la.

Estudio filosófico de los «modos de verdad», siendo los dos modos más comunes «necesariamente verdadero» y «posiblemente verdadero». Hoy en día la lógica modal se utiliza para razonar sobre el conocimiento, sobre las obligaciones, sobre los programas y sobre el tiempo, entre otros.

La investigación actual en lógica modal abarca la filosofía, la informática y las matemáticas utilizando técnicas de estructuras relacionales, álgebra universal, topología y teoría de la prueba.

Estas actas recogen los trabajos presentados en la conferencia de 2020 sobre Avances en Lógica Modal, una serie de conferencias bienales cuyo objetivo es informar sobre nuevos avances importantes en lógica modal pura y aplicada.

Los temas incluyen resultados de decidibilidad y complejidad, teoría de la prueba, teoría de modelos, interpolación, problemas relacionados en lógica algebraica, así como historia del razonamiento modal.