FINITE MODEL PROPERTY FOR SOME INTUITIONISTIC MODAL LOGICS
Yasusi Hasimoto · 2001
In this paper, we will show some logic has the flnite model property by using flltration method. Although the flltration method for classical modal logics has been studied comprehensively, the method is not completely applied to intuitionistic modal logics yet.