S. Mojtahedi

collaborators

Showing math.LOShow all

2 papers · 1 filter

math.LO2018

The $Σ_{1}$ -Provability Logic of HA*

Mohammad Ardeshir, Mojtaba Mojtahedi

For the Heyting Arithmetic HA, HA* is defined as the theory ${A ∣ HA ⊢ A^{□}}$ , where $A^{□}$ is called the box translation of $A$ . We characterize the $Σ_{1}$ -pr…

math.LO2014

The $Σ$ _1 Provability Logic of HA

Mohammad Ardeshir, S. Mojtaba Mojtahedi

In this paper we introduce a modal theory $H_{σ}$ , which is sound and complete for arithmetical $Σ$ _1 substitutions in $HA$ , in other words, we will show that $H_{σ}$ is the $Σ$ _…

The Σ1​-Provability Logic of HA*

The Σ_1 Provability Logic of HA

The $Σ_{1}$ -Provability Logic of HA*

The $Σ$ _1 Provability Logic of HA