@article{CTT100687344,
  author = {Ryo Kashima},
  title = {An axiomatization of ECTL},
  journal = {Journal of Logic and Computation},
  year = 2014,
}

@inproceedings{CTT100687348,
  author = {RYO KASHIMA},
  title = {Semilattice relevant logic について},
  booktitle = {日本数学会2014年度秋季総合分科会 数学基礎論および歴史分科会アブストラクト},
  year = 2014,
}

@misc{CTT100687350,
  author = {RYO KASHIMA},
  title = {ホーア論理・ダイナミック論理},
  year = 2014,
}