Hard provability logics

DOI10.1007/978-3-030-53654-1_9zbMath1498.03155arXiv1911.04284OpenAlexW2983152153MaRDI QIDQ2658282

Mojtaba Mojtahedi

Publication date: 19 March 2021

Full work available at URL: https://arxiv.org/abs/1911.04284

zbMATH Keywords

standard modelintuitionistic logicprovability logicHeyting arithmetic HAPeano arithmetic PArelative provability logicrreduction

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The de Jongh property for basic arithmetic
• Intermediate logics and the de Jongh property
• The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)
• Self-reference and modal logic
• Constructivism in mathematics. An introduction. Volume II
• Provability interpretations of modal logic
• Provability logic and the completeness principle
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• On the admissible rules of intuitionistic propositional logic
• Solution of a problem of Leon Henkin
• Arithmetization of metamathematics in a general setting
• The disjunction property implies the numerical existence property
• Reduction of provability logics to Σ₁-provability logics
• On the completenes principle: A study of provability in heyting's arithmetic and extensions
• THE -PROVABILITY LOGIC OF
• The interpretability logic of Peano arithmetic
• A Note on Indicator-Functions
• Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic