| 2001 | An Abstract Look at Realizability. | Edmund Robinson, Giuseppe Rosolini |
| 2001 | Labelled Natural Deduction for Interval Logics. | Thomas Marthedal Rasmussen |
| 2001 | An Algebraic Foundation for Higraphs. | John Power, Konstantinos Tourlas |
| 2001 | Beyond Regularity: Equational Tree Automata for Associative and Commutative Theories. | Hitoshi Ohsaki |
| 2001 | Local Reasoning about Programs that Alter Data Structures. | Peter W. O'Hearn, John C. Reynolds, Hongseok Yang |
| 2001 | Quadratic Correctness Criterion for Non-commutative Logic. | Virgile Mogbil |
| 2001 | Monotone Inductive and Coinductive Constructors of Rank 2. | Ralph Matthes |
| 2001 | A Principle of Induction. | Keye Martin |
| 2001 | Actual Arithmetic and Feasibility. | Jean-Yves Marion |
| 2001 | Modal Logic and the Two-Variable Fragment. | Carsten Lutz, Ulrike Sattler, Frank Wolter |
| 2001 | Semantic Characterisations of Second-Order Computability over the Real Numbers. | Margarita V. Korovina, Oleg V. Kudinov |
| 2001 | A Logic for Approximate First-Order Reasoning. | Frdric Koriche |
| 2001 | Markov's Principle for Propositional Type Theory. | Alexei Kopylov, Aleksey Nogin |
| 2001 | Decision Procedure for an Extension of WS1S. | Felix Klaedtke |
| 2001 | The Expressive Power of Horn Monadic Linear Logic. | Max I. Kanovich |
| 2001 | Non-commutativity and MELL in the Calculus of Structures. | Alessio Guglielmi, Lutz Straburger |
| 2001 | An Existential Locality Theorem. | Martin Grohe, Stefan Whrle |
| 2001 | Well-Founded Recursive Relations. | Jean Goubault-Larrecq |
| 2001 | Locus Solum: From the Rules of Logic to the Logic of Rules. | Jean-Yves Girard |
| 2001 | A Generalization of the Bchi-Elgot-Trakhtenbrot Theorem. | Matthias Galota, Heribert Vollmer |
| 2001 | An Effective Extension of the Wagner Hierarchy to Blind Counter Automata. | Olivier Finkel |
| 2001 | Constrained Hyper Tableaux. | Jan van Eijck |
| 2001 | Inflationary Fixed Points in Modal Logic. | Anuj Dawar, Erich Grdel, Stephan Kreutzer |
| 2001 | The Anatomy of Innocence. | Vincent Danos, Russell Harmer |
| 2001 | Normalized Types. | Pierre Courtieu |