| 1 | -- | 3 | Nicola Olivetti. Preface |
| 5 | -- | 34 | Franz Baader, Rafael Peñaloza. Axiom Pinpointing in General Tableaux |
| 35 | -- | 54 | Matthias Baaz, George Metcalfe. Herbrand s Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic |
| 55 | -- | 76 | Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima. Tableaux for Public Announcement Logic |
| 77 | -- | 109 | Peter Baumgartner, Ulrich Furbach, Björn Pelzer. The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation |
| 111 | -- | 131 | Shoham Ben-David, Richard J. Trefler, Grant E. Weddell. Model Checking Using Description Logic |
| 133 | -- | 166 | Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala. Tableaux for Logics of Subinterval Structures over Dense Orderings |
| 167 | -- | 188 | Marcelo Finger. Analytic Methods for the Logic of Proofs |
| 189 | -- | 231 | Didier Galmiche, Daniel Méry. Tableaux and Resource Graphs for Separation Logic |
| 233 | -- | 260 | Rajeev Goré, Linda Postniece. Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic |
| 261 | -- | 281 | Neil V. Murray, Erik Rosenthal. Reduced Implicate Tries with Updates |
| 283 | -- | 308 | Nicolas Peltier. Bottom-up Construction of Semantic Tableaux |
| 309 | -- | 352 | André Platzer. Differential-algebraic Dynamic Logic for Differential-algebraic Programs |
| 353 | -- | 379 | Regimantas Pliuskevicius, Aida Pliuskeviciene. A New Method to Obtain Termination in Backward Proof Search For Modal Logic ::::S::::4 |
| 381 | -- | 387 | Regimantas Pliuskevicius, Aida Pliuskeviciene. A New Method to Obtain Termination in Backward Proof Search for Modal Logic ::::S::::4 |