- Hitoshi Furusawa, Walter Guttmann, Georg Struth. On the inner structure of multirelations. J. Log. Algebr. Meth. Program., 148:101094, 2026.
- Kyungmin Bae, Santiago Escobar 0001, Raúl López-Rueda, José Meseguer 0001, Julia Sapiña. DM-Check: Verifying invariants of concurrent systems by deductive model checking. J. Log. Algebr. Meth. Program., 149:101107, 2026.
- Hongxia Sun, Zhi-Ping Shi 0002, Shanyan Chen, Guohui Wang, Ximeng Li 0003, Yong Guan. Formal reasoning about Bernstein-Vazirani algorithm. J. Log. Algebr. Meth. Program., 149:101108, 2026.
- Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez 0001. Combining sequential test cases into an equivalent set of adaptive test cases. J. Log. Algebr. Meth. Program., 148:101092, 2026.
- Didrik Lundberg, Roberto Guanciale, Andreas Lindner, Mads Dam. Hoare-style logic for unstructured programs. J. Log. Algebr. Meth. Program., 149:101099, 2026.
- Carlos Olarte, Carlos Ramírez 0002, Camilo Rocha, Frank Valencia. Unified opinion formation analysis in rewriting logic. J. Log. Algebr. Meth. Program., 148:101095, 2026.
- Seyed Hossein Haeri, Peter Van Roy, Heinrich Apfelmus, Peter Thompson 0002, Neil J. Davies, Magne Haveraaen, Mikhail Barash, Kevin Hammond, James Chapman 0001, Artjoms Sinkarovs. Algebraic reasoning for timeliness-guided system design. J. Log. Algebr. Meth. Program., 148:101093, 2026.
- Alexander Baumgartner, Daniele Nantes Sobrinho. Nominal anti-unification modulo equational theories. J. Log. Algebr. Meth. Program., 149:101100, 2026.
- Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos. Kind inference for the FreeST programming language. J. Log. Algebr. Meth. Program., 148:101083, 2026.
- Fabio Gadducci, Andrea Laretto, Davide Trotta. Counterpart-based Quantified Temporal Logics. J. Log. Algebr. Meth. Program., 148:101082, 2026.