Complete Axiomatizations for Reasoning about Knowledge and Branching Time Ron van der MeydenKa-shu Wong OriginalPaper Pages: 93 - 123
Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications Wiebe van der HoekMichael Wooldridge OriginalPaper Pages: 125 - 157