@article{oai:ksu.repo.nii.ac.jp:00009798,
 author = {Yasugi, Mariko and Yasugi, Mariko and Oda, Sobei H. and Oda, Sobei H.},
 journal = {Discussion paper series, Discussion paper series},
 month = {Oct},
 note = {2, KJ00000214479, P},
 pages = {1--22},
 title = {A proof-theoretic approach to knowledge},
 volume = {29},
 year = {1999}
}