Libri UniversitariApri il catalogo

Logica – prof. Giorgio Venturi

Filosofia e Forme del Sapere – sede di Pisa · Università di Pisa · esame facoltativo · 12 CFU · canale unico

Libri del canale

Logica 12 CFU

GVProf. Giorgio Venturi Canale unico
Patrick Blackburn – And Yde VenemaVerificato sulla scheda ufficiale il 02/10/2026
Cerca su Amazon ›
Cresswell – A New Introduction to Modal LogicVerificato sulla scheda ufficiale il 02/10/2026
Cerca su Amazon ›
Brian – Modal LogicVerificato sulla scheda ufficiale il 02/10/2026
Cerca su Amazon ›
Benthem – Modal Logic for Open MindsVerificato sulla scheda ufficiale il 02/10/2026
Cerca su Amazon ›
George Boolos – The Logic of ProvabilityVerificato sulla scheda ufficiale il 02/10/2026
Cerca su Amazon ›
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.

Apri nel catalogo: Filosofia e Forme del Sapere – sede di Pisa, 1º anno, tutte le materie e i canali ›

Testi d'esame di Logica del prof. Giorgio Venturi, canale unico, corso di laurea in Filosofia e Forme del Sapere – sede di Pisa (Laurea magistrale (LM-78)), Università di Pisa, esame facoltativo · 12 CFU, a.a. 2026/2027. Libri adottati: Patrick Blackburn – And Yde Venema; Cresswell – A New Introduction to Modal Logic; Brian – Modal Logic; Benthem – Modal Logic for Open Minds; George Boolos – The Logic of Provability.

Altre materie del prof. Venturi

Vedi anche: Prof. Giorgio Venturi · Logica a Pisa (tutti i canali)