- Max Illmer, Tim Netzer. Constructive quantifier elimination with a focus on matrix rings. Annals of Pure and Applied Logic, 177(5):103706, 2026.
- Vera Koponen. Random expansions of finite structures with bounded degree. Annals of Pure and Applied Logic, 177(3):103665, 2026.
- Alan Dow, Raúl Figueroa-Sierra, Osvaldo Guzmán, Michael Hrusák. The category dichotomy for ideals. Annals of Pure and Applied Logic, 177(5):103717, 2026.
- Marie Duzí, Bjørn Jespersen. Twin procedures, two kinds of variable binding, and two kinds of computation. Annals of Pure and Applied Logic, 177(5):103693, 2026.
- Adam Prenosil. Compatibility between modal operators in distributive modal logic. Annals of Pure and Applied Logic, 177(3):103677, 2026.
- Balázs Bursics, Zoltán Vidnyánszky. Hyperfiniteness on topological Ramsey spaces. Annals of Pure and Applied Logic, 177(6):103715, 2026.
- Juan P. Aguilera 0001, Anton Freund, Andreas Weiermann. Induction on dilators and Bachmann-Howard fixed points. Annals of Pure and Applied Logic, 177(7):103740, 2026.
- Cheng Liao. Stable canonical rules for intuitionistic modal logics. Annals of Pure and Applied Logic, 177(7):103743, 2026.
- William R. Stirton. Proof-theoretic investigation of λβ-reduction in the simply typed λ-calculus. Annals of Pure and Applied Logic, 177(1):103657, 2026.
- Lorenzo Notaro. Constructibility real degrees in the side-by-side Sacks model. Annals of Pure and Applied Logic, 177(5):103722, 2026.