Volume 161; Issue 5

Annals of Pure and Applied Logic

Volume 161; Issue 5
1

Foreword

Dan R. Ghica, Russ Harmer
Journal:
Annals of Pure and Applied Logic
Year:
2010
Language:
english
File:
PDF, 137 KB
english, 2010
2

The variable hierarchy for the games -calculus

Walid Belkhir, Luigi Santocanale
Journal:
Annals of Pure and Applied Logic
Year:
2010
Language:
english
File:
PDF, 1.36 MB
english, 2010
3

Totality in arena games

Pierre Clairambault, Russ Harmer
Journal:
Annals of Pure and Applied Logic
Year:
2010
Language:
english
File:
PDF, 1.27 MB
english, 2010
4

Proof and refutation in MALL as a game

Olivier Delande, Dale Miller, Alexis Saurin
Journal:
Annals of Pure and Applied Logic
Year:
2010
Language:
english
File:
PDF, 1.05 MB
english, 2010
5

Resource modalities in tensor logic

Paul-André Melliès, Nicolas Tabareau
Journal:
Annals of Pure and Applied Logic
Year:
2010
Language:
english
File:
PDF, 1.24 MB
english, 2010
6

Contents

Journal:
Annals of Pure and Applied Logic
Year:
2010
File:
PDF, 130 KB
2010
7

Equilibrium semantics of languages of imperfect information

Merlijn Sevenster, Gabriel Sandu
Journal:
Annals of Pure and Applied Logic
Year:
2010
Language:
english
File:
PDF, 875 KB
english, 2010