Universiteit van Amsterdam


Institute for Logic, Language and Computation

16 June 2017, Categories for the working modal logician, Giovanni Cinà

Candidate: Giovanni Cinà
Date: Friday 16 June 2017
Time: 11:00
Location: Aula, Singel 411, Amsterdam
Supervisor: Alexandru Baltag
Promotor: Johan van Benthem

Giovanni will defend his thesis, titled "Categories for the working modal logician". The thesis revolves around the connection between Category Theory and Modal Logic, focusing on the bearing of the former discipline on the latter.

For more information, contact Giovanni Cinà at .