Libri UniversitariApri il catalogo

Benthem – Modal Logic for Open Minds

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

«Benthem – Modal Logic for Open Minds» è adottato per Logica dal prof. Giorgio Venturi (Filosofia e Forme del Sapere – sede di Pisa – Pisa).

Benthem – Modal Logic for Open MindsCerca su Amazon ›

Come lo indica il docente: Johan van Benthem, Modal Logic for Open Minds. CSLI Publications, 2010

Titolo
Modal logic for open minds
Autori
Johan : van Johan Van Benthem Benthem
Editore
Center for the Study of Language and Information, 2010
ISBN
9781575865980

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 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 Mindsquesto libroCerca 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