For best experience please turn on javascript and use a modern browser!
Bekijk de site in het Nederlands

In his research, Giovanni Cinà focused on connecting Category Theory with the interests of modal logicians, especially those involved in modeling tasks and thus involved with specific models and languages. He set out to show how the interaction between category theory and modal logic can lead to new and fruitful insights.

Event details of Interaction between category theory and modal logic
Date 16 June 2017
Time 11:00
Location Aula - Lutherse kerk
Room Location

G. Ciná: Categories for the Working Model Logician

Supervisor

Prof. J.F.A.K. van Benthem

Supervisor

Dr A. Baltag

Aula - Lutherse kerk

Room Location

Singel 411
1012 XM Amsterdam

Entrance

This event is open to the public.