Logics of Knowledge, Games and Dynamic Logic

Rohit Parikh. Logics of Knowledge, Games and Dynamic Logic. In Mathai Joseph, R. K. Shyamasundar, editors, Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings. Volume 181 of Lecture Notes in Computer Science, pages 202-222, Springer, 1984.

Abstract

Abstract is missing.