2021年度 CAPE公開セミナー論理学上級I:様相論理、もう一歩先へ