TY - RPRT TI - Logics of Temporal-Epistemic Actions AU - Bryan Renne AU - Joshua Sack AU - Audrey Yap PY - 2014 UR - https://arxiv.org/abs/1411.6279 ID - 1411.6279 ER -