- Zhibo Chen 0009, Frank Pfenning. A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns. ACM Trans. Comput. Log., 26(1), January 2025.
- Marco Garapa, Eduardo Fermé, Maurício D. Luís Reis. Maps between Different Kinds of Two-Level Credibility-Limited Revision Operators. ACM Trans. Comput. Log., 26(3), July 2025.
- Jan A. Bergstra, John V. Tucker. A Complete Finite Axiomatisation of the Equational Theory of Common Meadows. ACM Trans. Comput. Log., 26(1), January 2025.
- Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza. Probabilistic Temporal Reasoning Using Superposition Semantics. ACM Trans. Comput. Log., 26(2), April 2025.
- Yuri Gurevich, Andreas Blass. Primal Logic of Information. ACM Trans. Comput. Log., 26(2), April 2025.
- Pierre Ganty, Nicolas Manini, Francesco Ranzato. The Reachable Simulation Problem. ACM Trans. Comput. Log., 26(3), July 2025.
- Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone. Model-checking Strategic Abilities in Information-sharing Systems. ACM Trans. Comput. Log., 26(1), January 2025.
- Lorenzo Ciardo, Marcin Kozik, Andrei A. Krokhin, Tamio-Vesa Nakajima, Stanislav Zivný. 1-in-3 vs. Not-All-Equal: Dichotomy of a Broken Promise. ACM Trans. Comput. Log., 26(2), April 2025.
- Thomas Place, Marc Zeitoun. Closing Star-Free Closure. ACM Trans. Comput. Log., 26(3), July 2025.
- Prosenjit Howlader, Churn-Jung Liau. On the Logical and Algebraic Aspects of Reasoning with Formal Contexts. ACM Trans. Comput. Log., 26(3), July 2025.