Presenta una exploración detallada de la lógica modal, ampliando conceptos y aplicaciones que ya se tratan en la obra de referencia.

por Patrick Blackburn, Maarten de Rijke, Yde Venema · 2001
Ver sugerenciasSinopsis
Una introducción exhaustiva a la lógica modal, cubriendo su sintaxis, semántica, y sistemas deductivos. Examina las extensiones de la lógica proposicional y de primer orden para capturar nociones como necesidad, posibilidad y tiempo.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo
Libros relacionados según distintos criterios de búsqueda
Presenta una exploración detallada de la lógica modal, ampliando conceptos y aplicaciones que ya se tratan en la obra de referencia.
Aborda la noción de mundos posibles y la necesidad en el contexto de la metafísica modal, que se relaciona con el estudio de la lógica modal.
Investiga cómo los lenguajes formales se entrelazan con la lógica, similar al enfoque del libro sobre la estructura de la lógica modal.
Se centra en la relación entre métodos de deducción natural y lógicas modales, alineándose con el análisis estructural de la lógica presentada en el texto de referencia.
Proporciona un análisis exhaustivo de los conceptos fundamentales de la lógica modal, conectando con las bases filosóficas presentadas en el libro original.
Ofrece una introducción completa a la lógica matemática, lo que complementa la lógica modal y su discusión en términos de filosofía y estructura lógica.