The Complexity of Reasoning about Knowledge and Time: Extended Abstract

Joseph Y. Halpern, Moshe Y. Vardi. The Complexity of Reasoning about Knowledge and Time: Extended Abstract. In Proceedings of the Eighteenth Annual ACM Symposium on Theory of Computing, 28-30 May 1986, Berkeley, California, USA. pages 304-315, ACM, 1986.

Abstract

Abstract is missing.