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.