Linguistique de l’écrit

Revue internationale en libre accès

Revue | Volume

COPR Bookmark
236892

Volume 149 (2)

Détails | Table des matières

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

Détails de la publication

Revue: Synthese

Volume: 149

Numéro: 2

Année: 2006

Citation complète:

(dir.), 2006, Synthese 149 (2).