Abstract
In the present paper we deal with subintuitionistic logics and theirmodal companions. In particular, we introduce nested calculi forsubintuitionistic systems and for modal logics in the S5 modal cuberanging from K to S4. The latter calculi differ from standard nestedsystems, as there are multiple rules handling the modal operator. Asan upshot, we get a purely syntactic proof of the Gödel-McKinsey-Tarski embedding which preserves the structure and the height ofthe derivations. Finally, we obtain a conservativity result for classicallogic over a weak subintuitionistic system
Matteo Tesi
PostDoc Researcher (Marie Curie Individual Fellowship)
Matteo’s research focuses on non-classical (modal, intermediate, and substructural) logics, structural proof theory and their philosophical applications. He has worked with sequent calculi and their generalizations (hypersequents, nested sequents, and labelled sequents) to offer analytic presentations of families of non-classical logics.