arXiv 2002-08-20 EN Complete Axiomatizations for Reasoning About Knowledge and Time Halpern, Joseph Y. · van der Meyden, Ron · Vardi, Moshe Y.
