| 1998 | Ordering Finite Variable Types with Generalized Quantifiers. | Anuj Dawar, Lauri Hella, Anil Seth |
| 1998 | L. E. J. Brouwer's Intuitionism: A Revolution in Two Installments. | Dirk van Dalen |
| 1998 | Decision Problems in Ordered Rewriting. | Hubert Comon, Paliath Narendran, Robert Nieuwenhuis, Michal Rusinowitch |
| 1998 | The Horn Mu-calculus. | Witold Charatonik, David A. McAllester, Damian Niwinski, Andreas Podelski, Igor Walukiewicz |
| 1998 | A Theory of Recursive Domains with Applications to Concurrency. | Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel |
| 1998 | Bisimulation in Name-Passing Calculi without Matching. | Michele Boreale, Davide Sangiorgi |
| 1998 | Type Theory via Exact Categories. | Lars Birkedal, Aurelio Carboni, Giuseppe Rosolini, Dana S. Scott |
| 1998 | A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages. | Karen L. Bernstein |
| 1998 | Process Operations in Extended Dynamic Logics. | Johan van Benthem |
| 1998 | Fragments of Existential Second-Order Logic without 0-1 Laws. | Jean-Marie Le Bars |
| 1998 | Embedded Finite Models, Stability Theory and the Impact of Order. | John T. Baldwin, Michael Benedikt |
| 1998 | Light Affine Logic. | Andrea Asperti |
| 1998 | The Logical Role of the Four-Valued Bilattice. | Ofer Arieli, Arnon Avron |
| 1998 | How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems. | Luca de Alfaro |
| 1998 | A Fully Abstract Game Semantics for General References. | Samson Abramsky, Kohei Honda, Guy McCusker |
| 1998 | Secure Implementation of Channel Abstractions. | Martn Abadi, Cdric Fournet, Georges Gonthier |
| 1997 | Complexity of Power Default Reasoning. | Guo-Qiang Zhang, William C. Rounds |
| 1997 | The "Hardest" Natural Decidable Theory. | Sergei G. Vorobyov |
| 1997 | Towards a Mathematical Operational Semantics. | Daniele Turi, Gordon D. Plotkin |
| 1997 | An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. | P. S. Thiagarajan, Igor Walukiewicz |
| 1997 | A Relational Account of Call-by-Value Sequentiality. | Jon G. Riecke, Anders Sandholm |
| 1997 | Unique Fixpoint Induction for Value-Passing Processes (Extended Abstract). | Julian Rathke |
| 1997 | Semantics of Exact Real Arithmetic. | Peter John Potts, Abbas Edalat, Martn Htzel Escard |
| 1997 | Complexity of Two-Variable Logic with Counting. | Leszek Pacholski, Wieslaw Szwast, Lidia Tendera |
| 1997 | A Logic for Reasoning with Higher-Order Abstract Syntax. | Raymond McDowell, Dale Miller |