|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
13 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Action and Knowledge in Alternating-Time Temporal Logic |
Ågotnes, Thomas |
|
149 | 2 |
p. 375-407 |
article |
|
| 2 | Action and Knowledge in Alternating-Time Temporal Logic |
Ågotnes, Thomas |
2006 |
149 | 2 |
p. 375-407 |
article |
|
| 3 | Foreword |
Otterloo, Sieuwert Van |
2006 |
149 | 2 |
p. 255-256 |
article |
|
| 4 | On The Computational Consequences of Independence in Propositional Logic |
Sevenster, Merlijn |
|
149 | 2 |
p. 257-283 |
article |
|
| 5 | On The Computational Consequences of Independence in Propositional Logic |
Sevenster, Merlijn |
2006 |
149 | 2 |
p. 257-283 |
article |
|
| 6 | Proving Possession of Arbitrary Secrets While not Giving them Away: New Protocols and a Proof in GNY Logic |
Teepe, Wouter |
|
149 | 2 |
p. 409-443 |
article |
|
| 7 | Proving Possession of Arbitrary Secrets While not Giving them Away: New Protocols and a Proof in GNY Logic |
Teepe, Wouter |
2006 |
149 | 2 |
p. 409-443 |
article |
|
| 8 | The Logic of Knowledge Based Obligation |
Pacuit, Eric |
|
149 | 2 |
p. 311-341 |
article |
|
| 9 | The Logic of Knowledge Based Obligation |
Pacuit, Eric |
2006 |
149 | 2 |
p. 311-341 |
article |
|
| 10 | The Logic of Pit |
Van Ditmarsch, Hans P. |
|
149 | 2 |
p. 343-374 |
article |
|
| 11 | The Logic of Pit |
Ditmarsch, Hans P. Van |
2006 |
149 | 2 |
p. 343-374 |
article |
|
| 12 | Thompson Transformations for If-Logic |
Dechesne, Francien |
|
149 | 2 |
p. 285-309 |
article |
|
| 13 | Thompson Transformations for If-Logic |
Dechesne, Francien |
2006 |
149 | 2 |
p. 285-309 |
article |
13 results found