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.