"Ryo Kashima","On Second Order Propositional Intuitionistic Logics","The Joint Conference of The 3rd Asian Workshop on Philosophical Logic (AWPL 2016) & The 3rd Taiwan Philosophical Logic Colloquium (TPLC 2016)",,,,,,2016,Oct.
"Ryo Kashima","Completeness of Second Order Propositional Intuitionistic Logics",,"Research Reports on Mathematical and Computing Sciences",,"  C-284",,,2016,Aug.