Reduction of provability logics to Σ1-provability logics

DOI10.1093/jigpal/jzv031zbMath1405.03094OpenAlexW2225896778MaRDI QIDQ4644602

S. Mojtaba Mojtahedi, Mohammad Ardeshir

Publication date: 8 January 2019

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzv031

zbMATH Keywords

Peano arithmeticprovability logics

Mathematics Subject Classification ID

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

Related Items (3)

Hard provability logics ⋮ The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) ⋮ THE -PROVABILITY LOGIC OF

This page was built for publication: Reduction of provability logics to Σ₁-provability logics