TY  - RPRT
TI  - Unifying Hyper and Epistemic Temporal Logic
AU  - Laura Bozzelli
AU  - Bastien Maubert
AU  - Sophie Pinchinat
PY  - 2014
UR  - https://arxiv.org/abs/1409.2711
ID  - 1409.2711
ER  -