Repository | Journal | Volume

COPR BookmarkLink
236892

2006

188 Pages

ISBN n/a

Synthese

Vol. 149 (2)

Publication details

Full citation:

(2006). Synthese 149 (2).

Table of Contents

Foreword

Van Otterloo Sieuwert; Wooldridge Michael

255-256

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

Sevenster Merlijn

257-283

Open Access Link
Thompson transformations for if-logic

Dechesne Francien

285-309

Open Access Link
The logic of knowledge based obligation

Pacuit Eric; Parikh Rohit; Cogan Eva

311-341

Open Access Link
The logic of pit

van Ditmarsch Hans

343-374

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

Ågotnes Thomas

375-407

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

Teepe Wouter

409-443

Open Access Link
Is this table of contents incomplete? Click here to add the missing references

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