| 1 | -- | 17 | Robert Demolombe. Obligations with deadlines: a formalization in Dynamic Deontic Logic |
| 19 | -- | 54 | Simon Kramer, Rajeev Goré, Eiji Okamoto. Computer-aided decision-making with trust relations and trust domains (cryptographic applications) |
| 55 | -- | 87 | Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patrick Schweitzer. Attack-defense trees |
| 89 | -- | 116 | Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese. Reasoning about delegation and revocation schemes in answer set programming |
| 117 | -- | 133 | Ryo Kashima. An axiomatization of ECTL |
| 135 | -- | 186 | Giorgio Magri. Tools for the robust analysis of error-driven ranking algorithms and their implications for modelling the child's acquisition of phonotactics |
| 187 | -- | 232 | Tatjana Lutovac, James Harland. Detection and analysis of some redundancies in linear logic sequent proofs |
| 233 | -- | 255 | Sergey Babenyshev, Manuel A. Martins. k-logics |
| 257 | -- | 282 | Lev D. Beklemishev, Yuri Gurevich. Propositional primal logic with disjunction |
| 283 | -- | 301 | David J. Pym, Eike Ritter, Edmund Robinson. A proof-theoretic analysis of the classical propositional matrix method |
| 303 | -- | 307 | Francesco Berto. Errors of Reasoning. Naturalizing the Logic of Inference, by John Woods |