- Emil Jerábek. A Simplified Lower Bound for Implicational Logic. Bulletin of Symbolic Logic, 31(1):53-87, 2025.
- Association for Symbolic Logic. Bulletin of Symbolic Logic, 31(1):188-193, 2025.
- THE 20TH LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC OF THE ASSOCIATION FOR SYMBOLIC LOGIC XX SIMPOSIO LATINOAMERICANO DE LÓGICA MATEMÁTICA Faculty de Ingeniería, Universidad de la República Montevideo, Uruguay July 1-5, 2024. Bulletin of Symbolic Logic, 31(1):153-180, 2025.
- BSL volume 31 issue 1 Cover and Back matter. Bulletin of Symbolic Logic, 31(1):1, 2025.
- BSL volume 31 issue 1 Cover and Front matter. Bulletin of Symbolic Logic, 31(1):1, 2025.
- Notices. Bulletin of Symbolic Logic, 31(1):181-187, 2025.
- Wim Veldman. On some of Brouwer's Axioms. Bulletin of Symbolic Logic, 31(1):1-52, 2025.
- Hannes Leitgeb, Uri Nodelman, Edward N. Zalta. A Defense of Logicism. Bulletin of Symbolic Logic, 31(1):88-152, 2025.
- Taishi Kurahashi, Albert Visser. Pour-el's Landscape. Bulletin of Symbolic Logic, 30(3):362-397, 2024.
- Juan P. Aguilera 0001, Martina Iannella. A One-Page Proof of a Theorem of Beleznay. Bulletin of Symbolic Logic, 30(4):536-537, 2024.