| 1561 | -- | 1597 | James Hanson. Analog reducibility |
| 1598 | -- | 1607 | Maciej Bendkowski. A note on the asymptotic expressiveness of ZF and ZFC |
| 1608 | -- | 1639 | Matteo Tesi, Sara Negri. Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic |
| 1640 | -- | 1659 | Somayeh Chopoghloo, Morteza Moniri. A strongly complete axiomatization of intuitionistic temporal logic |
| 1660 | -- | 1689 | Keng Meng Ng, Nazanin Roshandel Tavana, Yue Yang. A recursion theoretic foundation of computation over real numbers |
| 1690 | -- | 1715 | Erich Grädel, Phil Pützstück. Logics of dependence and independence: The local variants |
| 1716 | -- | 1739 | Sohei Iwata, Taishi Kurahashi. Topological semantics of conservativity and interpretability logics |
| 1740 | -- | 1757 | Massimiliano Carrara, Wei Zhu. Computational Errors and Suspension in a PWK Epistemic Agent |
| 1758 | -- | 1799 | Glenn Blanchette, Anthony Robins, Willem Labuschagne. Modelling supra-classical logic in a Boltzmann neural network: I representation |
| 1800 | -- | 1819 | Yufeng Liu, Fan Yang. EGG+: A graph grammar formalism with uncertain structure processing mechanism |
| 1820 | -- | 1844 | Vít Puncochár, Igor Sedlár. Epistemic extensions of substructural inquisitive logics |
| 1845 | -- | 1867 | Pavel Naumov, Kevin Ros. Strategic coalitions in stochastic games |
| 1868 | -- | 1890 | Antonio di Nola, Serafina Lapenta, Giacomo Lenzi. Dualities and algebraic geometry of Baire functions in non-classical logic |
| 1891 | -- | 1900 | Nikolay Bazhenov, Luca San Mauro. On the Turing complexity of learning finite families of algebraic structures |