Synthese

Foreword
pp. 255-256(2)
Authors: Otterloo, Sieuwert; Wooldridge, Michael; Mcburney, Peter

On The Computational Consequences of Independence in Propositional Logic
pp. 257-283(27)
Author: Sevenster, Merlijn

Thompson Transformations for If-Logic
pp. 285-309(25)
Author: Dechesne, Francien

The Logic of Knowledge Based Obligation
pp. 311-341(31)
Authors: Pacuit, Eric; Parikh, Rohit; Cogan, Eva

The Logic of Pit
pp. 343-374(32)
Author: Ditmarsch, Hans

Action and Knowledge in Alternating-Time Temporal Logic
pp. 375-407(33)
Authors: Ågotnes, Thomas

Proving Possession of Arbitrary Secrets While not Giving them Away: New Protocols and a Proof in GNY Logic
pp. 409-443(35)
Author: Teepe, Wouter