Matteo Tesi Matteo Tesi

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...