- Chengkai Liu, Qingguo Li, Xiangnan Zhou. Algebraic representations of some kinds of cocontinuous lattices. Journal of Logic and Computation, 36(1), 2026.
- Md. Aquil Khan, Amal Talukdar. Reasoning about attribute-relative approximations in multi-source environments: a modal framework with axiomatization. Journal of Logic and Computation, 36(1), 2026.
- Stepan L. Kuznetsov. On syntactic concept lattice models for the Lambek calculus and infinitary action logic. Journal of Logic and Computation, 36(1), 2026.
- Joel David Hamkins, Theodor Nenu. Did Turing prove the undecidability of the halting problem?. Journal of Logic and Computation, 36(1), 2026.
- Juntao Wang, Qiang Huang. An algebraic approach to the study of monadic substructural predicate logics over FLew. Journal of Logic and Computation, 36(1), 2026.
- Sapir Ben-Shahar, Rodney G. Downey, Mariya Ivanova Soskova. sQ -degrees. Journal of Logic and Computation, 36(1), 2026.
- Jiachao Wu, Shuai Tang, Ning Zhou. A credulous semantics of higher-order argumentation frameworks based on credulously accepted attacks. Journal of Logic and Computation, 35(7), 2025.
- Jean B. Nganou. MV-frames. Journal of Logic and Computation, 35(4), 2025.
- Leandro Fiorini Aurichi, Lucas Silva Sinzato Real. Unfriendly partitions when avoiding vertices of finite degree. Journal of Logic and Computation, 35(5), 2025.
- Mario R. F. Benevides, Leandro Gomes 0001, Bruno Lopes 0001. Towards determinism in PDL: relations and proof theory. Journal of Logic and Computation, 35(5), 2025.