Foreword

Sieuwert Van Otterloo, Michael Wooldridge

255-256

On the computational consequences of independence in propositional logic

Merlijn Sevenster

257-283

Thompson transformations for if-logic

Francien Dechesne

285-309

The logic of knowledge based obligation

Eric Pacuit, Rohit Parikh, Eva Cogan

311-341

The logic of pit

Hans van Ditmarsch

343-374

Action and knowledge in alternating-time temporal logic

Thomas Ågotnes

375-407

Proving possession of arbitrary secrets while not giving them away

new protocols and a proof in gny logic

Wouter Teepe

409-443