12 citations · 17 across the 6 of their papers we have counts for
6 papers
Deciding some displayable modal logics
Jinsheng Chen
In this paper we use display calculus to show the decidability for normal modal logic K and some of its extensions.
A Labelled Sequent Calculus for Public Announcement Logic
Hao Wu, Hans van Ditmarsch, Jinsheng Chen
Public announcement logic(PAL) is an extension of epistemic logic (EL) with some reduction axioms. In this paper, we propose a cut-free labelled sequent calculus for PAL, which is…
Neighbourhood semantics for graded modal logic
Jinsheng Chen, Hans van Ditmarsch, Giuseppe Greco +1
We introduce a class of neighbourhood frames for graded modal logic embedding Kripke frames into neighbourhood frames. This class of neighbourhood frames is shown to be first-order…
Syntactic completeness of proper display calculi
Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano +1
A recent strand of research in structural proof theory aims at exploring the notion of analytic calculi (i.e. those calculi that support general and modular proof-strategies for cu…
Non-normal logics: semantic analysis and proof theory (extended version)
Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano +1
We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conserv…
Non normal logics: semantic analysis and proof theory
Jinsheng Chen, Giuseppe Greco, Alessandra Palmigiano +1
We introduce proper display calculi for basic monotonic modal logic,the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conserva…