Preface
Memory of Past Beliefs and Actions
The Russian Cards Problem
Deontic Interpreted Systems
Complete Axiomatizations for Reasoning about Knowledge and Branching Time
Cooperation, Knowledge, and Time