- Gisèle Fischer Servi. Nonmonotonic inferences: Classical conclusions in an intuitionistic modal framework. Journal of Logic and Computation, 34(3):494-527, 2024.
- Henry Towsner. What do ultraproducts remember about the original structures?. Journal of Logic and Computation, 34(1):125-160, 2024.
- Petr Kuchynka, Jirí Raclavský. Completeness in partial type theory. Journal of Logic and Computation, 34(1):1-32, 2024.
- Federico Matias Pailos. On all pure three-valued logics. Journal of Logic and Computation, 34(1):161-179, 2024.
- José Luis Castiglioni, Víctor Fernández 0003, Héctor Federico Mallea, Hernán Javier San Martín. On subreducts of subresiduated lattices and some related logics. Journal of Logic and Computation, 34(5):856-886, 2024.
- Xianglong Ruan. Q-algebras. Journal of Logic and Computation, 34(5):795-814, 2024.
- Sara Ugolini. The polyhedral geometry of Wajsberg hoops. Journal of Logic and Computation, 34(3):557-589, 2024.
- Nicolas Peltier. Some techniques for reasoning automatically on co-inductive data structures. Journal of Logic and Computation, 34(3):429-464, 2024.
- Sujata Ghosh, Shreyas Gupta, Lei Li. Bisimulation in model-changing modal logics: An algorithmic study. Journal of Logic and Computation, 34(2):399-427, 2024.
- Timotheus Kampik. Kettle logic in abstract argumentation. Journal of Logic and Computation, 34(3):528-556, 2024.