The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions
From MaRDI portal
Publication:6156417
DOI10.1016/J.APAL.2023.103285MaRDI QIDQ6156417
Publication date: 13 June 2023
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
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)
Related Items (2)
Infinitary logic with infinite sequents: syntactic investigations ⋮ Subintuitionistic logics and their modal companions: a nested approach
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
