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