"RYO KASHIMA,Shu Iwanami","時相論理CTL*やその部分体系の公理化について","日本数学会秋季総合分科会","日本数学会2013年度秋季総合分科会???? ?数学基礎論および歴史分科会アブストラクト",,,,,2013,Sept.