| 1 | -- | 2 | Ruy J. G. B. de Queiroz, Angus Macintyre. Logic, Language, Information and Computation |
| 3 | -- | 30 | Marcelo Arenas, Pablo Barceló, Leonid Libkin. Game-based notions of locality over finite models |
| 31 | -- | 50 | Anuj Dawar, David Richerby, Benjamin Rossman. Choiceless polynomial time, counting and the Cai-Fürer-Immerman graphs |
| 51 | -- | 66 | Santiago Figueira, André Nies, Frank Stephan. Lowness properties and approximations of the jump |
| 67 | -- | 83 | Melvin Fitting. A quantified logic of evidence |
| 84 | -- | 106 | Sven Hartmann, Sebastian Link. Characterising nested database dependencies by fragments of propositional logic |
| 107 | -- | 121 | Ozan Kahramanogullari. System BV is NP-complete |
| 122 | -- | 131 | Richard Lassaigne, Sylvain Peyronnet. Probabilistic verification and approximation |
| 132 | -- | 147 | Ana Teresa C. Martins, Lília Ramalho Martins. Full classical S5 in natural deduction with weak normalization |
| 148 | -- | 160 | Grigori Mints. Cut elimination for a simple formulation of epsilon calculus |
| 161 | -- | 173 | Guilherme de Souza Rabello, Marcelo Finger. Approximations of modal logics: K and beyond |
| 174 | -- | 179 | Joel H. Spencer, Katherine St. John. The complexity of random ordered structures |