| 813 | -- | 837 | Franco Parlamento, Flavio Previale. The Elimination of Atomic Cuts and the Semishortening Property for Gentzen's Sequent Calculus with Equality |
| 838 | -- | 865 | Uri Andrews, Andrea Sorbi. Effective Inseparability, Lattices, and Preordering Relations |
| 866 | -- | 881 | Ethan Brauer, Neil Tennant. Transmission of Verification |
| 882 | -- | 909 | Daniel Kian Mc Kiernan. Formal Qualitative Probability |
| 910 | -- | 929 | Samara Burns, Richard Zach. Cut-Free Completeness for Modular Hypersequent Calculi for Modal Logics k, T, and d |
| 930 | -- | 945 | Michael Nielsen 0009. A New Argument for Kolomogorov Conditionalization |
| 946 | -- | 972 | Stepan L. Kuznetsov. Complexity of the Infinitary Lambek Calculus with Kleene Star |
| 973 | -- | 1010 | Gregory Landini. Tractarian Logicism: Operations, numbers, Induction |
| 1011 | -- | 1029 | Annika Kanckos, Tim Lethen. The Development of Gödel's Ontological Proof |
| 1030 | -- | 1065 | Yacin Hamami, Rebecca Lea Morris. Plans and Planning in Mathematical Proofs |
| 1066 | -- | 1087 | Moritz Cordes. Calculizing Classical Inferential erotetic Logic |
| 1088 | -- | 0 | Aybüke Özgün, Francesco Berto. Dynamic Hyperintensional Belief Revision - erratum |
| 1089 | -- | 0 | Paul Égré, Paul Marty, Bryan Renne. Knowledge, Justification, and Adequate Reasons - erratum |