Explora en profundidad la lógica modal y sus fundamentos, coincidiendo con el enfoque técnico de 'Modales' en sistemas de deducción natural.
Modales
por Francesca Poggiolesi · 2010
Ver sugerenciasSinopsis
Un estudio técnico sobre las relaciones entre sistemas de deducción natural y cálculo de secuentes para lógicas modales. Desarrolla y critica las metodologías de prueba existentes, con especial énfasis en las propiedades estructurales de los sistemas.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Modal Logic: An Introduction to its Syntax and Semantics
Patrick Blackburn, Maarten de Rijke, Yde Venema
2001·filosofia
Ofrece un análisis completo de la lógica modal, ayudando a entender los sistemas deductivos presentes en el estudio de Poggiolesi.
Modalidad, conocimiento y posibilidad. Estudios de lógica modal epistémica
Max A. Freund
2004·filosofia
Analiza la lógica modal desde una perspectiva epistemológica, complementando la crítica de metodologías de prueba de 'Modales'.
Se centra en la deducción natural y la teoría de la prueba, aspectos cruciales que Poggiolesi desarrolla rigurosamente en su obra.
Establece las bases de la deducción natural, similar al enfoque técnico y formal de 'Modales' sobre las demostraciones en lógica.
Explora la naturaleza de los mundos posibles, un aspecto que puede relacionarse con la crítica de metodologías en lógica modal presentada por Poggiolesi.