Guida alla logica modale

Negli ultimi venti anni la logica modale ha subito una crescita vertiginosa, grazie alla quale è diventato non solo un settore centrale della logica ma una fonte continua di idee per la filosofia, la linguistica e l’informatica teorica. Dopo il successo del loro primo libro Introduzione alla logica modale (1968) in Guida alla logica modale G.E.Hughes e M.J.Cresswell si propongono di dare un assetto sistematico ai principali risultati emersi recentemente nel campo della semantica modale. Grazie alle nuove tecniche di indagine, più potenti di quelle introdotte nel volume precedente, è possibile dimostrare la completezza per classi infinite di sistemi, studiare casi di incompletezza, dimostrare la decidibilità e l’indecidibilità di particolari classi di sistemi. Il libro si conclude con un’analisi generalizzata della completezza per logiche modali del primo ordine. Per quanto contenga l’esposizione di risultati molto avanzati, il libro è pensato per un uso didattico ed è destinato a un pubblico non specializzato. Rispetto all’edizione inglese (1984), il testo italiano inoltre contiene miglioramenti e correzioni apportate direttamente dagli autori.