"Ryo Kashima","C言語による計算の理論",,,"サイエンス社",,,,2008,Oct. "Ryo Kashima,Keishi Okamoto","General models and completeness of first-order modal mu-calculus",,"Journal of Logic and Computation",,"Vol. 18","No. 4","pp. 497-507",2008,Aug. "Ryo Ishigaki,Ryo Kashima","Sequent calculi for some strict implication logics",,"Logic Journal of the IGPL",,"Vol. 16","No. 2","pp. 155-174",2008,Apr.