Repository | Journal | Volume

COPR Bookmark Link
236892

Synthese

Volume 149 (2)

Details | Table of Contents

Foreword Sieuwert Van OtterlooMichael Wooldridge

pp.255-256

https://doi.org/10.1007/s11229-005-4332-4
On the computational consequences of independence in propositional logic Merlijn Sevenster

pp.257-283

https://doi.org/10.1007/s11229-005-3878-5
Thompson transformations for if-logic Francien Dechesne

pp.285-309

https://doi.org/10.1007/s11229-005-3876-7
The logic of knowledge based obligation Eric Pacuit Rohit Parikh Eva Cogan

pp.311-341

https://doi.org/10.1007/s11229-005-3877-6
The logic of pit Hans van Ditmarsch

pp.343-374

https://doi.org/10.1007/s11229-005-4331-5
Action and knowledge in alternating-time temporal logic Thomas Ågotnes

pp.375-407

https://doi.org/10.1007/s11229-005-3875-8
Proving possession of arbitrary secrets while not giving them away

new protocols and a proof in gny logic

Wouter Teepe

pp.409-443

https://doi.org/10.1007/s11229-005-3879-4

Publication details

Journal: Synthese

Volume: 149

Issue: 2

Year: 2006

Full citation:

(2006) Synthese 149 (2).