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

&
Annals of Pure and Applied Logic 174 (8):103285 (2023)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2023.103285

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,169

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Embedding Theorem: Its Further Developments and Consequences. Part 1.Alexei Y. Muravitsky - 2006 - Notre Dame Journal of Formal Logic 47 (4):525-540.
Realisability for infinitary intuitionistic set theory.Merlin Carl, Lorenzo Galeotti & Robert Passmann - 2023 - Annals of Pure and Applied Logic 174 (6):103259.
A complete axiomatization of infinitary first-order intuitionistic logic over L κ +, κ.Christian Espíndola - 2025 - Annals of Pure and Applied Logic 176 (1):103506.
Intuitionistic logic and modality via topology.Leo Esakia - 2004 - Annals of Pure and Applied Logic 127 (1-3):155-170.
Constructive theories through a modal lens.Matteo Tesi - 2025 - Logic Journal of the IGPL 33 (1):149-172.
On some non-classical extensions of second-order intuitionistic propositional calculus.Andrej Ščedrov - 1984 - Annals of Pure and Applied Logic 27 (2):155-164.
Linearizing intuitionistic implication.Patrick Lincoln, Andre Scedrov & Natarajan Shankar - 1993 - Annals of Pure and Applied Logic 60 (2):151-177.
Infinitary action logic with exponentiation.Stepan L. Kuznetsov & Stanislav O. Speranski - 2022 - Annals of Pure and Applied Logic 173 (2):103057.
Infinitary first-order categorical logic.Christian Espíndola - 2019 - Annals of Pure and Applied Logic 170 (2):137-162.
Modality, bisimulation and interpolation in infinitary logic.Johan van Benthem - 1999 - Annals of Pure and Applied Logic 96 (1-3):29-41.

Analytics

Added to PP
2023-05-11

Downloads
42 (#593,768)

6 months
3 (#1,170,603)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Subintuitionistic logics and their modal companions: a nested approach.Matteo Tesi - 2024 - Journal of Applied Non-Classical Logics 34 (4):493-526.
Constructive theories through a modal lens.Matteo Tesi - 2025 - Logic Journal of the IGPL 33 (1):149-172.

Add more citations

References found in this work

Proof Analysis in Modal Logic.Sara Negri - 2005 - Journal of Philosophical Logic 34 (5-6):507-544.
Cut Elimination in the Presence of Axioms.Sara Negri & Jan Von Plato - 1998 - Bulletin of Symbolic Logic 4 (4):418-435.
Proof analysis in intermediate logics.Roy Dyckhoff & Sara Negri - 2012 - Archive for Mathematical Logic 51 (1):71-92.

View all 14 references / Add more references