LogiCIC/LIRa Session: Hans van Ditmarsch

On Wednesday, March 11, 2015, we will have a joint LogiCIC/LIRa session with Hans van Ditmarsch.

Everyone is cordially invited!

Speaker: Hans van Ditmarsch

Date and Time: Wednesday, March 11, 2015, 11:30-13:00
Venue: Science Park 107, Room F1.15

Title: Five Funny Bisimulations

Abstract. We present various recent work proposing adjustments to the standard notion of bisimulation in order to have proper structural correspondents with epistemic, or epistemically motivated, modalities: contingency bisimulation, awareness bisimulation, plausibility bisimulation, refinement, and bisimulation for sabotage.