Libri UniversitariApri il catalogo

Cresswell – A New Introduction to Modal Logic

Libro adottato a Pisa, a.a. 2026/2027 · 1 canale

«Cresswell – A New Introduction to Modal Logic» è adottato per Logica dal prof. Giorgio Venturi (Filosofia e Forme del Sapere – sede di Pisa – Pisa).

Cresswell – A New Introduction to Modal LogicCerca su Amazon ›

Come lo indica il docente: G. E. Hughes and M. J. Cresswell, A New Introduction to Modal Logic. Routledge, 1996

Titolo
A new introduction to modal logic
Autori
George Edward G. E. Hughes, M. J. Cresswell Hughes
Editore
Routledge, 1996
ISBN
9780415125994

Chi lo adotta

Programma e testi di ogni canale

Logica – Prof. Giorgio Venturi Canale unico

Corso di laurea: Filosofia e Forme del Sapere – sede di Pisa · Laurea magistrale (LM-78) · esame facoltativo · 12 CFU / 2º anno · 2º semestre · 12 CFU

Pisa · Dipartimento di Civilta' e Forme del Sapere · 12 CFU · apri nel catalogo · Filosofia e Forme del Sapere – sede di Pisa · 1º anno · 2º semestre ›

Patrick Blackburn – And Yde VenemaCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Cresswell – A New Introduction to Modal Logicquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Brian – Modal LogicCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Benthem – Modal Logic for Open MindsCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
George Boolos – The Logic of ProvabilityCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Sintassi modale, Semantica di Kripke, Tableaux modali, Completezza con modalli canonici, risultati di caratterizzabilità, K, T, B, S4, S5, GL, condizioni di derivabilità di Hilbert–Bernays–Löb, Teoremi di incompletezza di Godel, Terema del punto fisso, Teorema di Solovey. E tempo permettendo altre applicazioni della logica della provabilità.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Si studia insieme a