@inproceedings{CTT100911896,
  author = {Ryo Kashima},
  title = {Two topics on nested sequent calculi for modal logics},
  booktitle = {},
  year = 2024,
}

@inproceedings{CTT100911809,
  author = {鹿島亮},
  title = {様相論理の入れ子シークエント計算について},
  booktitle = {},
  year = 2024,
}