古典命題論理のトートロジー
様相論理の公理として全ての命題論理のトートロジー$ \mathsf{Taut}を要請することがある．