In the present paper we deal with subintuitionistic logics and their modal companions. In particular, we introduce nested calculi for subintuitionistic systems and for modal logics in the S 5 modal cube ranging from K to S 4 . The latter calculi differ from... ...

请注册登录后继续浏览