1 citations · 1 across the 6 of their papers we have counts for
1 paper · 1 filter
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…