- Orna Kupferman, Gal Vardi. Perspective Games. ACM Trans. Comput. Log., 25(1), January 2024.
- Laura Bozzelli, Bastien Maubert, Aniello Murano. On the Complexity of Model Checking Knowledge and Time. ACM Trans. Comput. Log., 25(1), January 2024.
- Giuseppe Greco 0001, Peter Jipsen, Fei Liang, Alessandra Palmigiano, Apostolos Tzimoulis. Algebraic Proof Theory for LE-logics. ACM Trans. Comput. Log., 25(1), January 2024.
- Michele Boreale, Luisa Collodi, Daniele Gorla. Products, Polynomials and Differential Equations in the Stream Calculus. ACM Trans. Comput. Log., 25(1), January 2024.
- Rance Cleaveland, Jeroen J. A. Keiren. Extensible Proof Systems for Infinite-State Systems. ACM Trans. Comput. Log., 25(1), January 2024.
- Domenico Cantone, Pietro Ursino. Decidability of the Satisfiability Problem for Boolean Set Theory with the Unordered Cartesian Product Operator. ACM Trans. Comput. Log., 25(1), January 2024.
- Maximiliano Cristiá, Gianfranco Rossi. A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals. ACM Trans. Comput. Log., 25(1), January 2024.
- Rob van Glabbeek. Comparing the Expressiveness of the π-calculus and CCS. ACM Trans. Comput. Log., 25(1), January 2024.
- Laura Bozzelli, Angelo Montanari, Adriano Peron. Interval Temporal Logic for Visibly Pushdown Systems. ACM Trans. Comput. Log., 24(3), 2023.
- Michael Benedikt, Stanislav Kikot, Piotr Ostropolski-Nalewaja, Miguel Romero 0001. On Monotonic Determinacy and Rewritability for Recursive Queries and Views. ACM Trans. Comput. Log., 24(2), April 2023.