Minicourse "Modal logics and intuitionistic logic" [2 ETCS Mat/01] by Stefania Centrone, TU Berlin

Minicourse "Modal logics and intuitionistic logic" [2 ETCS Mat/01] by Stefania Centrone, TU Berlin

The minicourse "Modal logics and intuitionistic logic" [2 ETCS Mat/01] by Stefania Centrone, TU Berlin, has been videoregistered in August 2020. Members of the University of Verona who wish to follow the course but are not authorised to access this link are kindly asked to contact dott. Giulio Fellin. Students who want to obtain credits for this course also in the future should contact prof. Peter Schuster.

Abstract of the minicourse: Modal logics capture concepts of necessity and possibility; intuitionistic logic models computation and construction. This  minicourse is intended to introduce into both kinds of logic with particular attention on their interaction, from the angles of syntax and semantics but with a certain proof-theoretic flavour. One highlight will be Gödel's embedding of intuitionistic propositional logic into the modal logic S4, which stood at the beginning of provability logic.

Data pubblicazione
venerdì 21 agosto 2020 - 18.56.27
ultima modifica
venerdì 11 settembre 2020- 11.12.12
Oggetto
Minicourse "Modal logics and intuitionistic logic" [2 ETCS Mat/01] by Stefania Centrone, TU Berlin
Pubblicato da
Peter Michael Schuster
Advanced course in foundations of mathematics (2020/2021)
Axiomatic set theory for mathematical practice (2019/2020)
Mathematical logic (2019/2020)
Mathematical logic (2020/2021)
Laurea in Matematica Applicata
Laurea magistrale in Mathematics