12 citations · 17 across the 6 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.LO2021★ 2 cited
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…
cs.LO2021★ 2 cited
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…