Výsledky vyhledávání - "MOJTAHEDI, MOJTABA"

Report

Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic

Autor: Mojtahedi, Mojtaba, Papafilippou, Konstantinos

We examine the interplay between projectivity (in the sense that was introduced by S.~Ghilardi) and uniform post-interpolant for the classical and intuitionistic propositional logic. More precisely, we explore whether a projective substitution of a f

Externí odkaz: http://arxiv.org/abs/2403.19525

Zobrazit plný text záznamu

Report

On Provability Logic of HA

Autor: Mojtahedi, Mojtaba

We axiomatize the provability logic of HA and show that it is decidable. Moreover we axiomatize the preservativity and relative admissibility for several modal logics extending iK4. As a main tool, we also provide some sort of semantics, called prova

Externí odkaz: http://arxiv.org/abs/2206.00445

Zobrazit plný text záznamu

Report

Relative Unification in Intuitionistic Logic: Towards provability logic of HA

Autor: Mojtahedi, Mojtaba

This paper studies relative unification and admissibility in the intuitionistic logic. We generalize results of [Ghilardi, 1999; Iemhoff, 2001a] and prove them relative in NNIL(par) propositions, the class of propositions with No Nested Implications

Externí odkaz: http://arxiv.org/abs/2206.00446

Zobrazit plný text záznamu

Report

Hard Provability Logics

Autor: Mojtahedi, Mojtaba

Let $\mathcal{PL}({\sf T},{\sf T}')$ and $\mathcal{PL}_{\Sigma_1}({\sf T},{\sf T}')$ respectively indicates the provability logic and $\Sigma_1$-provability logic of ${\sf T}$ relative in ${\sf T}'$. In this paper we characterize the following relati

Externí odkaz: http://arxiv.org/abs/1911.04284

Zobrazit plný text záznamu

Report

The $\Sigma_1$-Provability Logic of HA*

Autor: Ardeshir, Mohammad, Mojtahedi, Mojtaba

For the Heyting Arithmetic HA, HA* is defined as the theory $\{A\mid {\sf HA}\vdash A^{\Box}\}$, where $A^{\Box}$ is called the box translation of $A$. We characterize the $\Sigma_1$-provability logic of HA* as a modal theory ${\sf iH}_\sigma^*$.

Externí odkaz: http://arxiv.org/abs/1805.06763

Zobrazit plný text záznamu

Report

Localizing Finite-Depth Kripke Models

Autor: Mojtahedi, Mojtaba

We can look at a first-order (or propositional) intuitionistic Kripke model as an ordered set of classical models. In this paper, we show that for a finite-depth Kripke model in an arbitrary first-order language or propositional language, local (clas

Externí odkaz: http://arxiv.org/abs/1710.08730

Zobrazit plný text záznamu