様相論理
K の公理系に以下の公理図式T「必然的に真ならば、真である」を加えた体系は T と呼ばれる。
公理T : ◻ A → A {\displaystyle \Box A\rightarrow A}
T においては、K では証明可能でなかった p → ◊ p {\displaystyle p\rightarrow \Diamond p} などが証明可能となる。