- Daniele Nantes Sobrinho, Maribel Fernández, Deivid Vale, Mauricio Ayala-Rincón. A Nominal Approach to Equational Problems in Languages with Binders. ACM Trans. Comput. Log., 27(1), January 2026.
- Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker. Centralized vs. Decentralized Monitors for Hyperproperties. ACM Trans. Comput. Log., 27(1), January 2026.
- Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald. AGM Belief Revision, Semantically. ACM Trans. Comput. Log., 26(4), October 2025.
- 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.
- Md. Aquil Khan, Ranjan. A Semantics for Modal Language Using a Rough Set Model Based on Subset Approximation Structure. ACM Trans. Comput. Log., 26(4), October 2025.
- Fabrizio Maria Maggi, Marco Montali, Rafael Peñaloza. Probabilistic Temporal Reasoning Using Superposition Semantics. ACM Trans. Comput. Log., 26(2), April 2025.
- Juan P. Aguilera 0001, Leonardo Pacheco. Intuitionistic Gödel-Löb without Sharps. ACM Trans. Comput. Log., 26(4), October 2025.
- Yuri Gurevich, Andreas Blass. Primal Logic of Information. ACM Trans. Comput. Log., 26(2), April 2025.