A Multi-linguistic-Valued Modal Logic. - Jinsheng Chen; Xudong Luo (Australasian Conference on Artificial Intelligence, 2016)

A Minimal Temporal Logic with Multiple Fuzzy Truth-Values. - Xinyu Li; Xudong Luo; Jinsheng Chen (KMO, 2017)

Labelled Sequent Calculus for Inquisitive Logic. - Jinsheng Chen; Minghui Ma (LORI, 2017)

Non Normal Logics: Semantic Analysis and Proof Theory. - Jinsheng Chen; Giuseppe Greco 001; Alessandra Palmigiano; Apostolos Tzimoulis (WoLLIC, 2019)

Sequent Calculi for Global Modal Consequence Relations. - Minghui Ma; Jinsheng Chen (Stud Logica, 2019)

A survey on skill-based routing with applications to service operations management. - Jinsheng Chen; Jing Dong 007; Pengyi Shi (Queueing Syst. Theory Appl., 2020)

Base Argumentation as an Abstraction of Deductive Argumentation. - Jinsheng Chen; Beishui Liao; Leendert van der Torre (CLAR, 2021)

Neighbourhood semantics for graded modal logic. - Jinsheng Chen; Hans van Ditmarsch; Giuseppe Greco 001; Apostolos Tzimoulis (CoRR, 2021)

Anomaly Detection Method of Urban Rail Vehicle Timing Data Driven by KNN Algorithm. - Jinsheng Chen (ICATCI (1), 2022)

A Labelled Sequent Calculus for Public Announcement Logic. - Hao Wu; Hans van Ditmarsch; Jinsheng Chen (CoRR, 2022)

Non-normal modal logics and conditional logics: Semantic analysis and proof theory. - Jinsheng Chen; Giuseppe Greco 001; Alessandra Palmigiano; Apostolos Tzimoulis (Inf. Comput., 2022)

Syntactic Completeness of Proper Display Calculi. - Jinsheng Chen; Giuseppe Greco 001; Alessandra Palmigiano; Apostolos Tzimoulis (ACM Trans. Comput. Log., 2022)

Bisimulation between base argumentation and premise-conclusion argumentation. - Jinsheng Chen; Beishui Liao; Leendert van der Torre (Artif. Intell., 2024)

Managing flexibility: optimal sizing and scheduling of flexible servers. - Jinsheng Chen; Jing Dong 007 (Queueing Syst. Theory Appl., 2024)

Optimal Routing Under Demand Surges: The Value of Future Arrival Rates. - Jinsheng Chen; Jing Dong 007; Pengyi Shi (Oper. Res., 2025)