TY  - RPRT
TI  - Bisimulation in Inquisitive Modal Logic
AU  - Ivano Ciardelli
AU  - Martin Otto
PY  - 2017
DO  - 10.4204/eptcs.251.11
UR  - https://arxiv.org/abs/1707.08742
ID  - 1707.08742
ER  -