@inproceedings{CTT100386241,
  author = {RYO KASHIMA},
  title = {非反射的様相を持つ論理の完全性について},
  booktitle = {日本数学会数学基礎論分科会アブストラクト集},
  year = 2004,
}