| 1429 | -- | 0 | Sergei N. Artëmov, Anil Nerode. Editorial |
| 1431 | -- | 1446 | Sergei N. Artëmov. Justification awareness |
| 1447 | -- | 1468 | Matthias Baaz, Alexander Leitsch, Anela Lolic. An abstract form of the first epsilon theorem |
| 1469 | -- | 1485 | Kai Brünnler, Dandolo Flumini, Thomas Studer. A logic of blockchain updates |
| 1487 | -- | 1504 | Hannes Diener, Robert S. Lubarsky. Notions of Cauchyness and metastability |
| 1505 | -- | 1540 | Thomas Macaulay Ferguson. Explicit analyses of proof/refutation interaction for constructible falsity and Heyting-Brouwer logic |
| 1541 | -- | 1566 | Miika Hannula, Juha Kontinen, Jonni Virtema. Polyteam semantics |
| 1567 | -- | 1608 | Simona Kasterovic, Silvia Ghilezan. Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus |
| 1609 | -- | 1668 | Yanhong A. Liu, Scott D. Stoller. Founded semantics and constraint semantics of logic rules |
| 1639 | -- | 1679 | Dag Normann, Sam Sanders. Open sets in computability theory and reverse mathematics |
| 1681 | -- | 1693 | Fedor Pakhomov, Alexander Zapryagaev. Multi-dimensional Interpretations of Presburger Arithmetic in Itself |
| 1695 | -- | 1709 | V. Alexis Peluce. Epistemic predicates in the arithmetical context |
| 1711 | -- | 1742 | Benjamin Ralph. Herbrand Proofs and Expansion Proofs as Decomposed Proofs |