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