@inproceedings{CiardelliOtto2017TARK,
  author = {Ciardelli, Ivano and Otto, Martin},
  year = {2017},
  booktitle = {{TARK 2017}},
  note = {arXiv:1707.08742},
  title = {Bisimulation in inquisitive modal logic},
}