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…