- 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.
- Lin Chen, Xuefeng Wen. Strict-tolerant conditional logics. Journal of Logic and Computation, 36(2), 2026.
- Simone Boscaratto, Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti. The Ackermann encoding and its siblings. Journal of Logic and Computation, 36(2), 2026.
- Mario Alviano, Laura Giordano 0001, Daniele Theseider Dupré. A many-valued multi-preferential propositional typicality logic and a conditional interpretation for gradual argumentation. Journal of Logic and Computation, 36(2), 2026.
- Lavinia Corina Ciungu. Implicative-ortholattices as orthogonality spaces. Journal of Logic and Computation, 36(2), 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.
- Zlatan Damnjanovic. On elementary theories of weighted and labelled trees. Journal of Logic and Computation, 36(2), 2026.
- Joel David Hamkins, Theodor Nenu. Did Turing prove the undecidability of the halting problem?. Journal of Logic and Computation, 36(1), 2026.
- Antonis C. Kakas, Paolo Mancarella. AL+: Extended argumentation logic. Journal of Logic and Computation, 36(2), 2026.