Descripción
La lógica se ocupa de las nociones fundamentales de verdad y falsedad. La lógica modal surgió del 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, las obligaciones, los programas y 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 demostración.
Estas actas recogen los trabajos presentados en la conferencia de 2020 sobre Avances en Lógica Modal, una serie de conferencias bienales con el objetivo de informar sobre los importantes nuevos desarrollos en lógica modal pura y aplicada.
Los temas incluyen resultados de decidibilidad y complejidad, teoría de la demostración, teoría de modelos, interpolación, problemas relacionados en lógica algebraica, así como la historia del razonamiento modal.
Autor: Nicola Olivetti
Editorial: College Publications
Publicado: 20/07/2020
Páginas: 626
Tipo de encuadernación: Tapa blanda
Peso: 1.90 libras
Tamaño: 9.21 pulgadas de alto x 6.14 pulgadas de ancho x 1.26 pulgadas de profundidad
ISBN13: 9781848903418
ISBN10: 1848903413
Categorías BISAC:
- Matemáticas | Lógica
- Filosofía | Lógica
Este título no es retornable