| 1101 | -- | 1121 | Anna Glenszczyk. Negational Fragment of Intuitionistic Control Logic |
| 1123 | -- | 1162 | Yan Zhang, Kai Li. Decidability of Logics Based on an Indeterministic Metric Tense Logic |
| 1163 | -- | 1181 | Matteo Bianchi 0001, Franco Montagna. Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL |
| 1183 | -- | 0 | Matteo Bianchi 0001, Franco Montagna. Erratum to: Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL |
| 1185 | -- | 1224 | Rutger Kuyper. First-Order Logic in the Medvedev Lattice |
| 1225 | -- | 1244 | Ken-etsu Fujita, Ryo Kashima, Yuichi Komori, Naosuke Matsuda. Reduction Rules for Intuitionistic λρ-calculus |
| 1245 | -- | 1278 | Szymon Chlebowski, Dorota Leszczynska-Jasion. Dual Erotetic Calculi and the Minimal LFI |
| 1279 | -- | 1302 | Edoardo Rivello. Periodicity and Reflexivity in Revision Sequences |
| 1303 | -- | 1311 | Fernando Ferreira, Gilda Ferreira. The Faithfulness of Fat: A Proof-Theoretic Proof |
| 1313 | -- | 1317 | Ulrich Kohlenbach. On the Disjunctive Markov Principle |
| 1319 | -- | 1326 | Adrian Rezus. Book Review: Henk Barendregt, Will Dekkers, Richard Statman et al., Lambda Calculus With Types |