@article{CTT100783327,
  author = {Ryo Kashima},
  title = {On Second Order Propositional Intuitionistic Logics},
  journal = {Philosophical Logic: Current Trends in Asia},
  year = 2017,
}

@inproceedings{CTT100783322,
  author = {鹿島亮 and 中村知己},
  title = {二階の関数記号を持つ一階述語論理について},
  booktitle = {数学基礎論および歴史分科会アブストラクト集},
  year = 2017,
}