Max Scheler
Gesellschaft

Repository | Zeitschrift | Band

COPR

Bookmark

Link

Synthese

Band 149 (2)

Details | Inhaltsverzeichnis

Foreword Sieuwert Van Otterloo Michael 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

Zeitschrift: Synthese

Band: 149

Issue: 2

Year: 2006

Referenz:

(2006) Synthese 149 (2).