Jinsheng Chen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Inductive sequents for distributive modal logic Journal of Philosophical Logic	2026-01-16	Paper
Bisimulation between base argumentation and premise-conclusion argumentation Artificial Intelligence	2025-02-12	Paper
Managing flexibility: optimal sizing and scheduling of flexible servers Queueing Systems	2025-01-22	Paper
Deciding some displayable modal logics	2023-09-06	Paper
Neighbourhood Semantics for Graded Modal Logic Bulletin of the Section of Logic	2023-05-04	Paper
Base argumentation as an abstraction of deductive argumentation	2023-03-31	Paper
Syntactic Completeness of Proper Display Calculi ACM Transactions on Computational Logic	2022-12-08	Paper
Non-normal modal logics and conditional logics: semantic analysis and proof theory Information and Computation	2022-06-13	Paper
A survey on skill-based routing with applications to service operations management Queueing Systems	2021-01-22	Paper
Non-normal logics: semantic analysis and proof theory (extended version)	2020-09-29	Paper
Non normal logics: semantic analysis and proof theory (available as arXiv preprint)	2020-03-04	Paper
Sequent calculi for global modal consequence relations Studia Logica	2019-09-03	Paper
Non normal logics: semantic analysis and proof theory (available as arXiv preprint)	2019-03-12	Paper
Labelled sequent calculus for inquisitive logic	2017-11-22	Paper

Research outcomes over time

This page was built for person: Jinsheng Chen