3 papers
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 and respectively indicates the provability logic and -provability logic of 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…