Jinsheng Chen

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 12

Top Topics

Sequent Calculus

Top Venues

ACM Trans. Comput. Log.

Publications

Hao Wu, Hans van Ditmarsch, Jinsheng Chen
A Labelled Sequent Calculus for Public Announcement Logic. CoRR (2022)
Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis
Syntactic Completeness of Proper Display Calculi. ACM Trans. Comput. Log. 23 (4) (2022)
Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis
Non-normal modal logics and conditional logics: Semantic analysis and proof theory. Inf. Comput. 287 (2022)
Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis
Syntactic completeness of proper display calculi. CoRR (2021)
Jinsheng Chen, Hans van Ditmarsch, Giuseppe Greco, Apostolos Tzimoulis
Neighbourhood semantics for graded modal logic. CoRR (2021)
Jinsheng Chen, Beishui Liao, Leendert van der Torre
Base Argumentation as an Abstraction of Deductive Argumentation. CLAR (2021)
Jinsheng Chen, Jing Dong, Pengyi Shi
A survey on skill-based routing with applications to service operations management. Queueing Syst. Theory Appl. 96 (1-2) (2020)
Minghui Ma, Jinsheng Chen
Sequent Calculi for Global Modal Consequence Relations. Stud Logica 107 (4) (2019)
Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis
Non Normal Logics: Semantic Analysis and Proof Theory. WoLLIC (2019)
Xinyu Li, Xudong Luo, Jinsheng Chen
A Minimal Temporal Logic with Multiple Fuzzy Truth-Values. KMO (2017)
Jinsheng Chen, Minghui Ma
Labelled Sequent Calculus for Inquisitive Logic. LORI (2017)
Jinsheng Chen, Xudong Luo
A Multi-linguistic-Valued Modal Logic. Australasian Conference on Artificial Intelligence (2016)