@article{oai:niigata-u.repo.nii.ac.jp:00002181,
 author = {Takano, Mitio},
 issue = {2},
 journal = {Nihonkai Mathematical Journal, Nihonkai Mathematical Journal},
 month = {},
 note = {An intuitionistic modal logic that is an intuitionistic bi-modal version of the modal logic K5 is proved, by means of the filtration method, to enjoy the finite model property.},
 pages = {125--132},
 title = {Finite model property for an intuitionistic model logic},
 volume = {14},
 year = {2003}
}