Computable Kripke Models and Intermediate Logics

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.

Authors

• Hajime Ishihara
• Bakhadyr Khoussainov
• Anil Nerode

Keywords

No keywords are indexed for this paper.