Modal Logics
2001·filosofia
Una introducción integral y avanzada a la lógica modal, examinando sus fundamentos, sistemas y aplicaciones en informática y filosofía.
PB
PB
Patrick Blackburn
británico
Patrick Blackburn es un destacado investigador y académico en el campo de la lógica y la inteligencia artificial, conocido por sus contribuciones a la teoría del cálculo y su aplicación en sistemas formales. Su trabajo ha impactado significativamente el desarrollo de tecnologías basadas en lógica computacional.
Obras en el archivo
2 títulos
Modal Logic: An Introduction to its Syntax and Semantics
2001·filosofia
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.
Autores relacionados
Aparecen junto a Patrick Blackburn en búsquedas del archivo