Mojtaba Mojtahedi

activity

20172025

collaborators

Showing math.LOShow all

3 papers · 1 filter

math.LO2025

Provability Models

Mojtaba Mojtahedi, Borja Sierra Miranda

In this paper, we study a new Kripke-style semantics for classical modal logic, named as provability models. We study provability models for the propositional modal logics K, K4, S…

math.LO2019

Hard Provability Logics

Mojtaba Mojtahedi

Let $P L (T, T^{'})$ and $P L_{Σ_{1}} (T, T^{'})$ respectively indicates the provability logic and $Σ_{1}$ -provability logic of $T$ relative in ${…

math.LO2017

Localizing Finite-Depth Kripke Models

Mojtaba Mojtahedi

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…