| 1 | -- | 6 | Ofer Arieli, Beata Konikowska, Alexander Rabinovich, Anna Zamansky. Foreword |
| 7 | -- | 50 | Régis Alenda, Nicola Olivetti, Gian Luca Pozzato. Nested sequent calculi for normal conditional logics |
| 51 | -- | 64 | Matthias Baaz, Agata Ciabattoni. Proof theory of witnessed Gödel logic: A negative result |
| 65 | -- | 95 | Diderik Batens. Spoiled for choice? |
| 97 | -- | 116 | Walter Alexandre Carnielli, Marcelo E. Coniglio. Paraconsistent set theory by predicating on consistency |
| 117 | -- | 141 | Carlos Cotrini, Yuri Gurevich. Basic primal infon logic |
| 143 | -- | 167 | Nachum Dershowitz, Gilles Dowek. Universality in two dimensions |
| 169 | -- | 187 | Roy Dyckhoff, Sara Negri. A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel-McKinsey-Tarski embedding |
| 189 | -- | 211 | Christian G. Fermüller. On matrices, Nmatrices and games |
| 213 | -- | 234 | Melvin Fitting. Realization using the model existence theorem |
| 235 | -- | 245 | Nissim Francez. Relevant harmony |
| 247 | -- | 292 | Dov M. Gabbay. Logical foundations for bipolar and tripolar argumentation networks: preliminary results |
| 293 | -- | 335 | Furio Honsell, Marina Lenisa, Ivan Scagnetto, Luigi Liquori, Petar Maksimovic. An open logical framework |
| 337 | -- | 360 | Ori Lahav. Semantic investigation of canonical Gödel hypersequent systems |
| 361 | -- | 380 | Joke Meheus, Christian Straßer, Peter Verdée. Which style of reasoning to choose in the face of conflicting information? |
| 381 | -- | 393 | George Metcalfe. An Avron rule for fragments of R-mingle |
| 395 | -- | 408 | Grigori Mints, Shane Steinert-Threlkeld. ADC method of proof search for intuitionistic propositional natural deduction |
| 409 | -- | 424 | Daniele Mundici. n-cube |
| 425 | -- | 450 | Heinrich Wansing. Falsification, natural deduction and bi-intuitionistic logic |
| 451 | -- | 461 | Sergei N. Artëmov, Tatiana Yavorskaya. Binding modalities |