| 2001 | A Generalization of the Büchi-Elgot-Trakhtenbrot Theorem. Matthias Galota, Heribert Vollmer |
| 2001 | A Logic for Abstract State Machines. Robert F. Stärk, Stanislas Nanchen |
| 2001 | A Logic for Approximate First-Order Reasoning. Frédéric Koriche |
| 2001 | A Principle of Induction. Keye Martin |
| 2001 | Actual Arithmetic and Feasibility. Jean-Yves Marion |
| 2001 | An Abstract Look at Realizability. Edmund Robinson, Giuseppe Rosolini |
| 2001 | An Algebraic Foundation for Higraphs. John Power, Konstantinos Tourlas |
| 2001 | An Effective Extension of the Wagner Hierarchy to Blind Counter Automata. Olivier Finkel |
| 2001 | An Existential Locality Theorem. Martin Grohe, Stefan Wöhrle |
| 2001 | An Improved Extensionality Criterion for Higher-Order Logic Programs. Marc Bezem |
| 2001 | Applications of Alfred Tarski's Ideas in Database Theory. Jan Van den Bussche |
| 2001 | Beyond Regularity: Equational Tree Automata for Associative and Commutative Theories. Hitoshi Ohsaki |
| 2001 | Capture Complexity by Partition. Yijia Chen, Enshao Shen |
| 2001 | Categorical and Kripke Semantics for Constructive S4 Modal Logic. Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter |
| 2001 | Complete Categorical Equational Deduction. Grigore Rosu |
| 2001 | Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings Laurent Fribourg |
| 2001 | Constrained Hyper Tableaux. Jan van Eijck |
| 2001 | Decidable Navigation Logics for Object Structures. Frank S. de Boer, Rogier M. van Eijk |
| 2001 | Decision Procedure for an Extension of WS1S. Felix Klaedtke |
| 2001 | Fully Complete Minimal PER Models for the Simply Typed lambda-Calculus. Samson Abramsky, Marina Lenisa |
| 2001 | Inflationary Fixed Points in Modal Logic. Anuj Dawar, Erich Grädel, Stephan Kreutzer |
| 2001 | Intersection Logic. Simona Ronchi Della Rocca, Luca Roversi |
| 2001 | Labelled Natural Deduction for Interval Logics. Thomas Marthedal Rasmussen |
| 2001 | Life without the Terminal Type. Lutz Schröder |
| 2001 | Limiting Partial Combinatory Algebras towards Infinitary Lambda-Calculi and Classical Logic. Yohji Akama |
| 2001 | Local Reasoning about Programs that Alter Data Structures. Peter W. O'Hearn, John C. Reynolds, Hongseok Yang |
| 2001 | Locus Solum: From the Rules of Logic to the Logic of Rules. Jean-Yves Girard |
| 2001 | Markov's Principle for Propositional Type Theory. Alexei Kopylov, Aleksey Nogin |
| 2001 | Modal Logic and the Two-Variable Fragment. Carsten Lutz, Ulrike Sattler, Frank Wolter |
| 2001 | Monotone Inductive and Coinductive Constructors of Rank 2. Ralph Matthes |
| 2001 | Non-commutativity and MELL in the Calculus of Structures. Alessio Guglielmi, Lutz Straßburger |
| 2001 | Normalized Types. Pierre Courtieu |
| 2001 | On a Generalisation of Herbrand's Theorem. Matthias Baaz, Georg Moser |
| 2001 | Quadratic Correctness Criterion for Non-commutative Logic. Virgile Mogbil |
| 2001 | Recursion for Higher-Order Encodings. Carsten Schürmann |
| 2001 | Semantic Characterisations of Second-Order Computability over the Real Numbers. Margarita V. Korovina, Oleg V. Kudinov |
| 2001 | Stratified Context Unification Is in PSPACE. Manfred Schmidt-Schauß |
| 2001 | The Anatomy of Innocence. Vincent Danos, Russell Harmer |
| 2001 | The Decidability of Model Checking Mobile Ambients. Witold Charatonik, Jean-Marc Talbot |
| 2001 | The Expressive Power of Horn Monadic Linear Logic. Max I. Kanovich |
| 2001 | The Natural Order-Generic Collapse for omega-Representable Databases over the Rational and the Real Ordered Group. Nicole Schweikardt |
| 2001 | Uniform Derivation of Decision Procedures by Superposition. Alessandro Armando, Silvio Ranise, Michaël Rusinowitch |
| 2001 | Well-Founded Recursive Relations. Jean Goubault-Larrecq |