The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions

DOI10.1016/j.apal.2023.103285MaRDI QIDQ6156417

Sara Negri, Matteo Tesi

Publication date: 13 June 2023

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

cut eliminationproof theoryinfinitary logicintuitionistic logicmodal embedding

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Glivenko sequent classes in the light of structural proof theory
• Does the deduction theorem fail for modal logic?
• Proof analysis in intermediate logics
• Proof analysis in modal logic
• Duality for \(\kappa\)-additive complete atomic modal algebras
• Constructivism in mathematics. An introduction. Volume I
• Infinitary propositional intuitionistic logic
• From axioms to synthetic inference rules via focusing
• Neighborhood semantics for modal logic
• On Glinvenko sequent classes
• A cut-free sequent system for Grzegorczyk logic, with an application to the Gödel–McKinsey–Tarski embedding
• Neighborhood Semantics for Basic and Intuitionistic Logic
• Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic
• Infinitary intuitionistic logic from a classical point of view
• Cut Elimination in the Presence of Axioms
• Geometric Rules in Infinitary Logic
• Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic
• Remarks on Barr’s Theorem: Proofs in Geometric Theories
• Some theorems about the sentential calculi of Lewis and Heyting

This page was built for publication: The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions