- Nobuko Yoshida, Kohei Honda, Martin Berger. Logical Reasoning for Higher-Order Functions with Local State. Logical Methods in Computer Science, 4(4), 2008.
- Franck van Breugel, Babita Sharma, James Worrell. Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems. Logical Methods in Computer Science, 4(2), 2008.
- Jonathan Hayman, Glynn Winskel. Independence and Concurrent Separation Logic. Logical Methods in Computer Science, 4(1), 2008.
- Lars Birkedal, Hongseok Yang. Relational Parametricity and Separation Logic. Logical Methods in Computer Science, 4(2), 2008.
- Marcin Jurdzinski, Jeremy Sproston, François Laroussinie. Model Checking Probabilistic Timed Automata with One or Two Clocks. Logical Methods in Computer Science, 4(3), 2008.
- Neil D. Jones, Nina Bohr. Call-by-Value Termination in the Untyped lambda-Calculus. Logical Methods in Computer Science, 4(1), 2008.
- Alessandro Ferrante, Aniello Murano, Mimmo Parente. Enriched µ-Calculi Module Checking. Logical Methods in Computer Science, 4(3), 2008.
- MartÃn Hötzel Escardó. Exhaustible Sets in Higher-type Computation. Logical Methods in Computer Science, 4(3), 2008.
- Wojciech Moczydlowski. Normalization of IZF with Replacement. Logical Methods in Computer Science, 4(2), 2008.
- Arnon Avron, Anna Zamansky. Canonical Calculi with (n, k)-ary Quantifiers. Logical Methods in Computer Science, 4(3), 2008.