Joseph Y. Halpern, Ron van der Meyden, Moshe Y. Vardi. Complete Axiomatizations for Reasoning about Knowledge and Time. SIAM Journal on Computing, 33(3):674-703, 2004. [doi]
@article{HalpernMV04,
title = {Complete Axiomatizations for Reasoning about Knowledge and Time},
author = {Joseph Y. Halpern and Ron van der Meyden and Moshe Y. Vardi},
year = {2004},
doi = {10.1137/S0097539797320906},
url = {http://dx.doi.org/10.1137/S0097539797320906},
tags = {completeness},
researchr = {https://researchr.org/publication/HalpernMV04},
cites = {0},
citedby = {0},
journal = {SIAM Journal on Computing},
volume = {33},
number = {3},
pages = {674-703},
}