Deciding some displayable modal logics

Abstract

In this paper we use display calculus to show the decidability for normal modal logic K and some of its extensions.

arXiv commentToo many typos