Libri UniversitariApri il catalogo

Brian – Modal Logic

Libro adottato a Pisa, Torino, a.a. 2026/2027 · 2 canali

«Brian – Modal Logic» è adottato per Logica dal prof. Giorgio Venturi (Filosofia e Forme del Sapere – sede di Pisa – Pisa); per Formal And Empirical Methods in Philosophy dal prof. Eugenio Petrovich (Filosofia – sede di Torino – Torino).

Brian – Modal LogicCerca su Amazon ›

Come lo indica il docente: Brian F. Chellas, Modal Logic: An Introduction. Cambridge University Press, 1980 · Brian F. Chellas. Modal Logic: An Introduction . Cambridge university press, 1980

Titolo
Modal logic
Autori
Brian F. Chellas
Editore
Cambridge University Press, 1980
ISBN
9780521224765

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 Logicquesto libroCerca 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.

Formal And Empirical Methods in Philosophy – Prof. Eugenio Petrovich Canale unico

Corso di laurea: Filosofia – sede di Torino · Laurea magistrale (LM-78) · esame facoltativo · 6 CFU

Torino · Filosofia e Scienze dell'Educazione · 6 CFU · apri nel catalogo · Filosofia – sede di Torino · 2º anno · 1º semestre ›

Reference books

Brian – Modal Logicquesto libroCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Patrick Blackburn, Maarten de Rijke, Yde Venema. ModalCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Jouko Väänänen – Second-order and Higher-order LogicCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026

Mandatory material

Ismay – Statistical inference via data scienceCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
  • Excerpts of other texts (in English) will be provided in due time in order to integrate the study material.
  • Slides of the course (available on the Moodle page of the course, along with the datasets and R scripts used during the classes).
  • The material is the same as attending students. Non attending students are encouraged to get in contact with the teachers to ask for clarification or further readings.
Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Si studia insieme a