1. Foreword

   • Sieuwert Van Otterloo
   • Michael Wooldridge
   • Peter Mcburney

   OriginalPaper Pages: 255 - 256

2. On The Computational Consequences of Independence in Propositional Logic

   • Merlijn Sevenster

   OriginalPaper Pages: 257 - 283

3. Thompson Transformations for If-Logic

   • Francien Dechesne

   OriginalPaper Pages: 285 - 309

4. The Logic of Knowledge Based Obligation

   • Eric Pacuit
   • Rohit Parikh
   • Eva Cogan

   OriginalPaper Pages: 311 - 341

5. The Logic of Pit

   • Hans P. Van Ditmarsch

   OriginalPaper Pages: 343 - 374

6. Action and Knowledge in Alternating-Time Temporal Logic

   • Thomas Ågotnes

   OriginalPaper Pages: 375 - 407

7. Proving Possession of Arbitrary Secrets While not Giving them Away: New Protocols and a Proof in GNY Logic

   • Wouter Teepe

   OriginalPaper Pages: 409 - 443