TY  - RPRT
TI  - Refinement Modal Logic
AU  - Laura Bozzelli
AU  - Hans van Ditmarsch
AU  - Tim French
AU  - James Hales
AU  - Sophie Pinchinat
PY  - 2013
DO  - 10.1016/j.ic.2014.07.013
UR  - https://arxiv.org/abs/1202.3538
ID  - 1202.3538
ER  -