Speaker: Giovanni Ciná (ILLC, Amsterdam)
Date and Time: Friday, November 4th 2016, 15:30-17:00
Venue: ILLC Seminar Room F1.15, Science Park 107.
Title: Modal logics for typed processes.
Abstract. I will introduce and discuss typed transition system, a structure that is meant to capture typed processes. After considering various examples, I will touch on the connections between these models and other known structures such as regular transition system (aka Kripke models), presheaves and coalgebras.
In the second part of the talk I will introduce a typed modal logic that is complete for typed transition systems. The final touch will be a taste of the expressive power of typed modal logic and its extensions: I will consider several example across different disciplines (Topology, Foundations of Quantum mechanics, Social Choice) and describe how interesting properties can be captured in this language.
The talk will be an overview of some results obtained in the last years and is intended for a broad audience.