On Thursday, November 28, we will have a LIRa session with Alessandra Palmigiano.
Everyone is cordially invited!
Speaker: Alessandra Palmigiano (Delft University of Technology)
Title: Multi-type display calculi for dynamic logics
Date and Time: Thursday, November 28, 2013, 15:30-17:30
Venue: Science Park 107, Room F1.15
Abstract:
Research in the proof theory of dynamic logics has recently gained momentum. However, features which are essential to these logics prevent standard proof-theoretic methodologies to apply straightforwardly. In this talk, I will discuss the main hurdles to a smooth proof-theoretic treatment of dynamic logics, and illustrate a methodology generating multi-type display calculi, which has been successful on interesting case studies (dynamic epistemic logic, game logic).