2024-03-29T14:03:52Z
https://niigata-u.repo.nii.ac.jp/oai
oai:niigata-u.repo.nii.ac.jp:00002181
2022-12-15T03:35:00Z
176:488:489
453:454
Finite model property for an intuitionistic model logic
Finite model property for an intuitionistic model logic
Takano, Mitio
Finite model property
intuitionistic modal logic
filtration method
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.
新潟大学
2003
eng
journal article
http://hdl.handle.net/10191/5669
https://niigata-u.repo.nii.ac.jp/records/2181
AA10800960
13419951
Nihonkai Mathematical Journal
Nihonkai Mathematical Journal
14
2
125
132
https://niigata-u.repo.nii.ac.jp/record/2181/files/5_0014.pdf
application/pdf
1.2 MB
2019-07-29