The Complexity of Reasoning about Knowledge and Time: Extended Abstract

Joseph Y. Halpern, Moshe Y. Vardi

Browse the full STOC paper archive.