Jinsheng Chen

According to our database, Jinsheng Chen authored at least 11 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Syntactic Completeness of Proper Display Calculi.

Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis

ACM Trans. Comput. Log., 2022

Non-normal modal logics and conditional logics: Semantic analysis and proof theory.

Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis

Inf. Comput., 2022

A Labelled Sequent Calculus for Public Announcement Logic.

Hao Wu, Hans van Ditmarsch, Jinsheng Chen

CoRR, 2022

2021

Neighbourhood semantics for graded modal logic.

Jinsheng Chen, Hans van Ditmarsch, Giuseppe Greco, Apostolos Tzimoulis

CoRR, 2021

Base Argumentation as an Abstraction of Deductive Argumentation.

Jinsheng Chen, Beishui Liao, Leendert van der Torre

Proceedings of the Logic and Argumentation - 4th International Conference, 2021

2020

A survey on skill-based routing with applications to service operations management.

Jinsheng Chen, Jing Dong, Pengyi Shi

Queueing Syst. Theory Appl., 2020

2019

Sequent Calculi for Global Modal Consequence Relations.

Minghui Ma, Jinsheng Chen

Stud Logica, 2019

Non Normal Logics: Semantic Analysis and Proof Theory.

Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis

Proceedings of the Logic, Language, Information, and Computation, 2019

2017

Labelled Sequent Calculus for Inquisitive Logic.

Jinsheng Chen, Minghui Ma

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

A Minimal Temporal Logic with Multiple Fuzzy Truth-Values.

Xinyu Li, Xudong Luo, Jinsheng Chen

Proceedings of the Knowledge Management in Organizations - 12th International Conference, 2017

2016

A Multi-linguistic-Valued Modal Logic.

Jinsheng Chen, Xudong Luo

Proceedings of the AI 2016: Advances in Artificial Intelligence, 2016