- Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink. Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking. Logical Methods in Computer Science, 22(1), 2026.
- Jean-Simon Pacaud Lemay. Additive Enrichment from Coderelictions. Logical Methods in Computer Science, 22(1), 2026.
- Linda Feeken, Martin Fränzle. Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion. Logical Methods in Computer Science, 22(1), 2026.
- Dan R. Ghica, George Kaye. Rewriting Modulo Traced Comonoid Structure. Logical Methods in Computer Science, 22(1), 2026.
- Achim Blumensath. Simple Classes of Automatic Structures. Logical Methods in Computer Science, 22(1), 2026.
- Radu Iosif, Florian Zuleger. Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs. Logical Methods in Computer Science, 22(1), 2026.
- Daniele Dell'Erba, Arthur Dumas, Sven Schewe. An Objective Improvement Approach to Solving Discounted Payoff Games. Logical Methods in Computer Science, 22(1), 2026.
- Lars Fritsche, Alexander Lauer, Maximilian Kratz, Andy Schürr, Gabriele Taentzer. Using weakest application conditions to rank graph transformations for graph repair. Logical Methods in Computer Science, 22(1), 2026.
- Achim Blumensath. The Expansion Problem for Infinite Trees. Logical Methods in Computer Science, 22(1), 2026.
- Ondrej Jezil. Prime Factorization in Models of PV$_1$. Logical Methods in Computer Science, 22(2), 2026.