The Σ1-provability logic of HA

&
Annals of Pure and Applied Logic 169 (10):997-1043 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2018.05.001

Other Versions

original Ardeshir, Mohammad; Mojtahedi, Mojtaba (forthcoming) "The Σ1-Provability Logic of HA". Journal of Symbolic Logic ():1-18

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,925

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 Σ1-Provability Logic of HA.Mohammad Ardeshir & Mojtaba Mojtahedi - forthcoming - Journal of Symbolic Logic:1-18.
Mojtaba Mojtahedi, Shahid Rahman, and Mohammad Saleh Zarepour, eds. Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir.[author unknown] - 2021 - Philosophia Mathematica 29 (3):451-452.
The provability logic for Σ1-interpolability.Konstantin N. Ignatiev - 1993 - Annals of Pure and Applied Logic 64 (1):1-25.
Ardeshir, M., Ruitenburg, W. and Salehi, S., Intuitionistic.C. Areces, P. Blackburn, M. Marx, S. Cook, A. Kolokolova, T. Coquand, G. Sambin, J. Smith, S. Valentini & P. Dybjer - 2003 - Annals of Pure and Applied Logic 124:301.
Provability logic and the completeness principle.Albert Visser & Jetze Zoethout - 2019 - Annals of Pure and Applied Logic 170 (6):718-753.
The omega-rule interpretation of transfinite provability logic.David Fernández-Duque & Joost J. Joosten - 2018 - Annals of Pure and Applied Logic 169 (4):333-371.
Dialogues, strategies, and intuitionistic provability.Walter Felscher - 1985 - Annals of Pure and Applied Logic 28 (3):217-254.
Henkin sentences and local reflection principles for Rosser provability.Taishi Kurahashi - 2016 - Annals of Pure and Applied Logic 167 (2):73-94.
Albert Visser. A course on bimodal provability logic. Annals of pure and applied logic, vol. 73 , pp. 109–142.Franco Montagna - 1997 - Journal of Symbolic Logic 62 (2):686-687.
Honest elementary degrees and degrees of relative provability without the cupping property.Paul Shafer - 2017 - Annals of Pure and Applied Logic 168 (5):1017-1031.

Analytics

Added to PP
2018-07-15

Downloads
38 (#661,304)

6 months
10 (#382,927)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Admissible rules for six intuitionistic modal logics.Iris van der Giessen - 2023 - Annals of Pure and Applied Logic 174 (4):103233.
Provability logic and the completeness principle.Albert Visser & Jetze Zoethout - 2019 - Annals of Pure and Applied Logic 170 (6):718-753.
The absorption law: Or: how to Kreisel a Hilbert–Bernays–Löb.Albert Visser - 2020 - Archive for Mathematical Logic 60 (3-4):441-468.

Add more citations

References found in this work

Solution of a problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.
The interpretability logic of peano arithmetic.Alessandro Berarducci - 1990 - Journal of Symbolic Logic 55 (3):1059-1089.
Intermediate Logics and the de Jongh property.Dick de Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.

View all 9 references / Add more references