TY  - RPRT
TI  - Complete Axiomatizations for Reasoning About Knowledge and Time
AU  - Joseph Y. Halpern
AU  - Ron van der Meyden
AU  - Moshe Y. Vardi
PY  - 2002
UR  - https://arxiv.org/abs/cs/0208033
ID  - cs/0208033
ER  -