C. I. Lewis
#論理学者
#哲学者
#厳密含意
#様相論理
今日，
$ \bf KT4, KT5
をそれぞれ
$ \bf S4,S5
というのはこの人が最初に
$ \bf S4,S5
と命名していたからそれに準じたものである．