12 citations · 17 across the 6 of their papers we have counts for
1 paper · 1 filter
Jinsheng Chen
In this paper we use display calculus to show the decidability for normal modal logic K and some of its extensions.