@article{CTT100783328,
  author = {Ryo Kashima},
  title = {Completeness of Second Order Propositional Intuitionistic Logics},
  journal = {Research Reports on Mathematical and Computing Sciences},
  year = 2016,
}

@inproceedings{CTT100783326,
  author = {Ryo Kashima},
  title = {On Second Order Propositional Intuitionistic Logics},
  booktitle = {},
  year = 2016,
}