@article{oai:tsukuba.repo.nii.ac.jp:00019848,
 author = {西村, 泰一 and NISHIMURA, Hirokazu},
 issue = {1},
 journal = {Publications of the Research Institute for Mathematical Sciences},
 month = {},
 pages = {305--316},
 title = {A Cut-Free Sequential System for the Propositional Modal Logic of Finite Chains},
 volume = {19},
 year = {1983},
 yomi = {ニシムラ, ヒロカズ}
}