Annals of Pure and Applied Logic, Volume 78

Volume 78, Numbers 1-3, 4 April 1996

• Yuri Matiyasevich, Anil Nerode: Preface - Papers in honor of the Symposium on Logical Foundations of Computer Science ``Logic at St. Petersburg''. 1
• Dmitry A. Archangelsky, Michael I. Dekhtyar, Mikhail A. Taitslin: Linear Logic for Nets with Bounded Resources. 3-28
• Marat M. Arslanov, Steffen Lempp, Richard A. Shore: Interpolating d-r.e. and REA Degrees between r.e. Degrees. 29-56
• Sergei N. Artëmov, Vladimir Krupski: Data Storage Interpretation of Labeled Modal Logic. 57-71
• Andrew Dabrowski, Lawrence S. Moss, Rohit Parikh: Topological Reasoning and the Logic of Knowledge. 73-110
• Thomas Eiter, Georg Gottlob, Yuri Gurevich: Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems. 111-125
• Xiaolin Ge, Anil Nerode: Effective Content of the Calculus of Variations I: Semi-Continuity and the Chattering Lemma. 127-146
• Max I. Kanovich: Linear Logic Automata. 147-188
• Johann A. Makowsky, Y. B. Pnueli: Arity and Alternation in Second-Order Logic. 189-202
• Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis: McNaughton Games and Extracting Strategies for Concurrent Programs. 203-242
• Victor L. Selivanov: On Recursively Enumerable Structures. 243-258
• Saharon Shelah: Was Sierpinski Right? III: Can Continuum-cc. Times c.c.c. be Continuum-c.c.? 259-269