Archive

Speaker: Hans van Ditmarsch
Title: Five Funny Bisimulations
Date:
Time: 11:30 - 13:00
Location: Room F1.15, ILLC, Science Park 107, Amsterdam

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.