@misc{indiciaeea68d5283c3c,
  title = {Refinement Modal Logic},
  author = {Laura Bozzelli and Hans van Ditmarsch and Tim French and James Hales and Sophie Pinchinat},
  year = {2013},
  doi = {10.1016/j.ic.2014.07.013},
  url = {https://arxiv.org/abs/1202.3538},
  note = {Source identifier: 1202.3538}
}