-
Argumentation semantics based on solid admissibility and preservation of semantic propertie
Author: Liu, Xiaolong; Chen, Weiwei; Doutre, Sylvie
Journal: JOURNAL OF LOGIC AND COMPUTATION. 2026; Vol. 36, Issue 2, pp. -. DOI: 10.1093/logcom/exag003
-
Strict-tolerant conditional logic
Author: Chen, Lin; Wen, Xuefeng
Journal: JOURNAL OF LOGIC AND COMPUTATION. 2026; Vol. 36, Issue 2, pp. -. DOI: 10.1093/logcom/exag001
-
An algebraic approach to the study of monadic substructural predicate logics over FLe
Author: Wang, Juntao; Huang, Qiang
Journal: JOURNAL OF LOGIC AND COMPUTATION. 2026; Vol. 36, Issue 1, pp. -. DOI: 10.1093/logcom/exaf079
-
A formal framework for reasoning about agents' independence in self-organizing multi-agent system
Author: Luo, Jieting; Liao, Beishui; Meyer, John-Jules
Journal: JOURNAL OF LOGIC AND COMPUTATION. 2025; Vol. 35, Issue 4, pp. -. DOI: 10.1093/logcom/exaf032
-
A calculus for modal compact Hausdorff space
Author: Bezhanishvili, Nick; Carai, Luca; Ghilardi, Silvio; Zhao, Zhiguang
Journal: JOURNAL OF LOGIC AND COMPUTATION. 2025; Vol. , Issue , pp. -. DOI: 10.1093/logcom/exae086
-
A credulous semantics of higher-order argumentation frameworks based on credulously accepted attack
Author: Wu, Jiachao; Tang, Shuai; Zhou, Ning
Journal: JOURNAL OF LOGIC AND COMPUTATION. 2025; Vol. , Issue , pp. -. DOI: 10.1093/logcom/exaf011
-
On Rosser theorie
Author: Cheng, Yong
Journal: JOURNAL OF LOGIC AND COMPUTATION. 2025; Vol. , Issue , pp. -. DOI: 10.1093/logcom/exae085