On The Computational Consequences of Independence in Propositional Logic Merlijn Sevenster OriginalPaper Pages: 257 - 283
The Logic of Knowledge Based Obligation Eric PacuitRohit ParikhEva Cogan OriginalPaper Pages: 311 - 341
Action and Knowledge in Alternating-Time Temporal Logic Thomas Ã…gotnes OriginalPaper Pages: 375 - 407
Proving Possession of Arbitrary Secrets While not Giving them Away: New Protocols and a Proof in GNY Logic Wouter Teepe OriginalPaper Pages: 409 - 443