Room 327

Five Funny Bisimulations

Hans van Ditmarsch

LORIA, Nancy, France

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.