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]
No references recorded for this publication.
No citations of this publication recorded.