| 1486 | -- | 0 | Sergei Artemov, Anil Nerode. Editorial |
| 1487 | -- | 1503 | Juan P. Aguilera 0001, Jan Bydzovsky, David Fernández Duque. Noetherian Gödel logics |
| 1504 | -- | 1530 | Richard Krogman, Douglas Cenzer. Complexity of injection structures induced by finite state transducers |
| 1531 | -- | 1557 | Neil J. DeBoer. Justification logic and type theory as formalizations of intuitionistic propositional logic |
| 1558 | -- | 1584 | David Fernández Duque, Joost J. Joosten, Fedor Pakhomov, Konstnatinos Papafilippou, Andreas Weiermann. Arithmetical and Hyperarithmetical Worm Battles |
| 1585 | -- | 1610 | Christian Hagemeier, Dominik Kirst. Constructive and mechanised meta-theory of IEL and similar modal logics |
| 1611 | -- | 1623 | Bjørn Kjos-Hanssen. Interpolating between the Jaccard distance and an analogue of the normalized information distance |
| 1624 | -- | 1644 | Juha Kontinen, Arne Meier, Yasir Mahmood 0002. A parameterized view on the complexity of dependence and independence logic |
| 1645 | -- | 1658 | David Lehnherr, Zoran Ognjanovic, Thomas Studer. A logic of interactive proofs |
| 1659 | -- | 1693 | Yanhong A Liu, Scott D. Stoller. Recursive rules with aggregation: a simple unified semantics |
| 1694 | -- | 1719 | Pedro Filipe, Sérgio Marcelino, Carlos Caleiro. Computational properties of finite PNmatrices |
| 1720 | -- | 1746 | Eoin Moore. Soundness and completeness results for LEA and probability semantics |
| 1747 | -- | 1795 | Dag Normann, Sam Sanders. On the computational properties of basic mathematical notions |
| 1796 | -- | 1814 | V. Alexis Peluce. Classical reasoning in the justification paradigm |
| 1815 | -- | 1838 | Iosif Petrakis. Strict computability models over categories and presheaves |
| 1839 | -- | 1854 | Daniel Rogozin. Some results on relation algebra reducts: Residuated and semilattice-ordered semigroups |
| 1855 | -- | 1875 | Davide Trotta, Matteo Spadetto, Valeria de Paiva. Dialectica logical principles: not only rules |