様相論理S4
Def
次の公理からなる
様相論理の公理K
様相論理の公理T
様相論理の公理4