Libri UniversitariApri il catalogo

Patrick Blackburn – And Yde Venema

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

«Patrick Blackburn – And Yde Venema» è adottato per Logica dal prof. Giorgio Venturi (Filosofia e Forme del Sapere – sede di Pisa – Pisa).

Patrick Blackburn – And Yde VenemaCerca su Amazon ›

Come lo indica il docente: Patrick Blackburn, Maarten de Rijke, and Yde Venema, Modal Logic. Cambridge University Press, 2001

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 Venemaquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Cresswell – A New Introduction to Modal LogicCerca 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