Computable Kripke Models and Intermediate Logics
Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode · Information and Computation · 1998
We introduce effectiveness considerations into model theory of intuitionistic logic. We investigate effectiveness of completeness (by Kripke) results for intermediate logics such as intuitionistic logic, classical logic, constant domain logic, directed frames logic, and Dummett's logic.