Minicourse "Semantics and Proof Theory of Modal Logic"

Semantics and Proof Theory of Modal Logic
Dirk Pattinson (Australian National University)
November 2 – December 14, 2026

Timetable
The minicourse is planned to take place from 15:30 to 18:30 every Monday afternoon from 2nd November to 14th December 2026, except Monday 7th December, for a total of 18 hours [3 ETCS, MATH-01/A.

Venue
Università di Verona, Dipartimento di Informatica, Ca’ Vignal 2, strada Le Grazie 15, Verona (Borgo Roma).
(The lecture hall is yet to be given.) For updates and details please visit the course web site.

Page on the University of Verona website
Link

Dirk Pattinson’s visit is funded by the University of Verona’s “Programma di Internazionalizzazione dell’Ateneo” (PIA).