@inproceedings{CTT100687346,
  author = {鹿島亮 and 岩波克},
  title = {時相論理CTL*やその部分体系の公理化について},
  booktitle = {日本数学会2013年度秋季総合分科会 数学基礎論および歴史分科会アブストラクト},
  year = 2013,
}