Switch to: References

Add citations

You must login to add citations.
  1. Subintuitionistic logics and their modal companions: a nested approach.Matteo Tesi - forthcoming - Journal of Applied Non-Classical Logics.
    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 S5 modal cube ranging from K to S4. The latter calculi differ from standard nested systems, as there are multiple rules handling the modal operator. As an upshot, we get a purely syntactic proof of the Gödel-McKinsey-Tarski embedding which preserves the structure and the height of the derivations. Finally, we obtain a conservativity (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Constructive theories through a modal lens.Matteo Tesi - forthcoming - Logic Journal of the IGPL.
    We present a uniform proof-theoretic proof of the Gödel–McKinsey–Tarski embedding for a class of first-order intuitionistic theories. This is achieved by adapting to the case of modal logic the methods of proof analysis in order to convert axioms into rules of inference of a suitable sequent calculus. The soundness and the faithfulness of the embedding are proved by induction on the height of the derivations in the augmented calculi. Finally, we define an extension of the modal system for which the (...)
    Download  
     
    Export citation  
     
    Bookmark