Closed fragments of provability logics of constructive theories

Journal of Symbolic Logic 73 (3):1081-1096 (2008)
  Copy   BIBTEX

Abstract

In this paper we give a new proof of the characterization of the closed fragment of the provability logic of Heyting's Arithmetic. We also provide a characterization of the closed fragment of the provability logic of Heyting's Arithmetic plus Markov's Principle and Heyting's Arithmetic plus Primitive Recursive Markov's Principle

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1230396766

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: 105,261

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

Propositional Logics of Closed and Open Substitutions over Heyting's Arithmetic.Albert Visser - 2006 - Notre Dame Journal of Formal Logic 47 (3):299-309.
Markov's Rule revisited.Daniel Leivant - 1990 - Archive for Mathematical Logic 30 (2):125-127.
On the completenes principle: A study of provability in heyting's arithmetic and extensions.Albert Visser - 1982 - Annals of Mathematical Logic 22 (3):263-295.
Predicate Logics of Constructive Arithmetical Theories.Albert Visser - 2006 - Journal of Symbolic Logic 71 (4):1311 - 1326.
An Inside View of Exp; or, The Closed Fragment of the Provability Logic of IΔ0+ Ω1 with a Propositional Constant for.Albert Visser - 1992 - Journal of Symbolic Logic 57 (1):131-165.
Properties of Intuitionistic Provability and Preservativity Logics.Rosalie Iemhoff, Dick de Jongh & Chunlai Zhou - 2005 - Logic Journal of the IGPL 13 (6):615-636.
Turing–Taylor Expansions for Arithmetic Theories.Joost J. Joosten - 2016 - Studia Logica 104 (6):1225-1243.
Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic.Ana de Almeida Borges & Joost J. Joosten - forthcoming - Studia Logica:1-33.
A course on bimodal provability logic.Albert Visser - 1995 - Annals of Pure and Applied Logic 73 (1):109-142.
An Escape From Vardanyan’s Theorem.Ana de Almeida Borges & Joost J. Joosten - 2023 - Journal of Symbolic Logic 88 (4):1613-1638.

Analytics

Added to PP
2010-09-12

Downloads
54 (#441,583)

6 months
11 (#335,171)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Provability logic.Rineke Verbrugge - 2008 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

Add more references