Avances en Lógica Modal 14

Título original:

Advances in Modal Logic 14

Contenido del libro:

Desde la antigüedad, los filósofos han reconocido que la verdad se presenta en.

Muchos «modos», de modo que una proposición no sólo puede ser verdadera o falsa, sino.

También, por ejemplo, «necesaria» o «posible». Estas ideas condujeron al campo moderno.

De la lógica modal, un animado campo de investigación en la intersección de.

filosofía, las matemáticas y la informática.

Hoy en día, el término «lógica modal» se entiende en un sentido amplio, que.

Permite utilizarla para razonar sobre fenómenos aparentemente inconexos.

Como el conocimiento, las obligaciones, el tiempo, el espacio y las pruebas, entre muchos.

Otros. La investigación actual en lógica modal se basa en técnicas de muchas.

Disciplinas como la teoría de la complejidad, la combinatoria, el álgebra universal.

Algebra universal, teoría de categorías, topología y teoría de pruebas.

Estas actas recogen los trabajos presentados en el 2022 Advances in.

Lógica Modal, una serie de conferencias bienales con el objetivo de informar sobre.

Nuevos desarrollos importantes en lógica modal pura y aplicada. Los temas.

En esta edición se incluyen la lógica modal constructiva y subestructural,.

Unificación, semántica algebraica y de vecindad, teoría de la prueba y..

Complejidad de las lógicas modales y verificación en lógica modal.