Jinsheng Chen

From MaRDI portal
Person:1679792



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!

PublicationDate of PublicationType
Managing flexibility: optimal sizing and scheduling of flexible servers
Queueing Systems
2025-01-22Paper
Deciding some displayable modal logics2023-09-06Paper
Neighbourhood Semantics for Graded Modal Logic
Bulletin of the Section of Logic
2023-05-04Paper
Base argumentation as an abstraction of deductive argumentation2023-03-31Paper
Syntactic Completeness of Proper Display Calculi
ACM Transactions on Computational Logic
2022-12-08Paper
Non-normal modal logics and conditional logics: semantic analysis and proof theory
Information and Computation
2022-06-13Paper
A survey on skill-based routing with applications to service operations management
Queueing Systems
2021-01-22Paper
Non-normal logics: semantic analysis and proof theory (extended version)2020-09-29Paper
Non normal logics: semantic analysis and proof theory2020-03-04Paper
Sequent calculi for global modal consequence relations
Studia Logica
2019-09-03Paper
Non normal logics: semantic analysis and proof theory
arXiv preprint
2019-03-12Paper
Labelled sequent calculus for inquisitive logic2017-11-22Paper


Research outcomes over time


This page was built for person: Jinsheng Chen