Labelled sequent calculus for inquisitive logic J Chen, M Ma International Workshop on Logic, Rationality and Interaction, 526-540, 2017 | 5 | 2017 |
Sequent calculi for global modal consequence relations M Ma, J Chen Studia Logica 107 (4), 613-637, 2019 | 2 | 2019 |
Base Argumentation as an Abstraction of Deductive Argumentation J Chen, B Liao, L van der Torre Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou …, 2021 | 1 | 2021 |
A multi-linguistic-valued modal logic J Chen, X Luo AI 2016: Advances in Artificial Intelligence: 29th Australasian Joint …, 2016 | 1 | 2016 |
Bisimulation between base argumentation and premise-conclusion argumentation J Chen, B Liao, L van der Torre Artificial Intelligence, 104203, 2024 | | 2024 |