Modal logics and intuitionistic logic [2 ETCS Mat/01]

Stefania Centrone - TU Berlin

Date and time
Monday, August 24, 2020 - Registered lectures (video & audio)

Contact person
Peter Michael Schuster

Publication date
August 7, 2020

Computer Science  


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.

This videoregistered minicourse is available here.  Members of the University of Verona who are not yet authorised to access that page are kindly asked to contact dott. Giulio Fellin. Students who want to register credits for this course also in the future should contact prof. Peter Schuster. 

© 2002 - 2022  Verona University
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234