-
Sahlqvist correspondence theory for second-order propositional modal logic
Author: Zhao, Zhiguang
Journal: JOURNAL OF LOGIC AND COMPUTATION. 2023; Vol. 33, Issue 3, pp. 577-598. DOI: 10.1093/logcom/exac036
-
Integrating individual preferences into collective argumentation
Author: Li, Chonghui; Liao, Beishui
Journal: JOURNAL OF LOGIC AND COMPUTATION. 2023; Vol. 33, Issue 2, pp. 344-369. DOI: 10.1093/logcom/exac097
-
Game equivalence and expressive power of game description languages: a bisimulation approach
Author: Jiang, Guifei; Perrussel, Laurent; Zhang, Dongmo; Zhang, Heng; Zhang, Yuzhi
Journal: JOURNAL OF LOGIC AND COMPUTATION. 2023; Vol. 33, Issue 1, pp. 163-187. DOI: 10.1093/logcom/exac034
-
Collective argumentation with topological restrictions: the case of aggregating abstract argumentation frameworks
Author: Chen, Weiwei
Journal: JOURNAL OF LOGIC AND COMPUTATION. 2023; Vol. 33, Issue 2, pp. 319-343. DOI: 10.1093/logcom/exac096
-
Modal structures in groups and vector spaces
Author: van Benthem, Johan; Bezhanishvili, Nick
Journal: JOURNAL OF LOGIC AND COMPUTATION. 2023; Vol. , Issue , pp. -. DOI: 10.1093/logcom/exac105