Synthese

Vol. 149 (2)

(ed)

Table of Contents
Download
Other Editions

Open Access Link
255-256
Foreword

Van Otterloo Sieuwert; Wooldridge Michael

Open Access Link
257-283
On the computational consequences of independence in propositional logic

Sevenster Merlijn

Open Access Link
285-309
Thompson transformations for if-logic

Dechesne Francien

Open Access Link
311-341
The logic of knowledge based obligation

Pacuit Eric; Parikh Rohit; Cogan Eva

Open Access Link
343-374
The logic of pit

van Ditmarsch Hans

Open Access Link
375-407
Action and knowledge in alternating-time temporal logic

Ågotnes Thomas

Open Access Link
409-443
Proving possession of arbitrary secrets while not giving them away

Teepe Wouter

This document is unfortunately not available for download at the moment.

Not implemented yet !