様相論理の公理M
McKenseyの様相論理の公理
Remark
古い文献では様相論理の公理$ \sf Tをこう呼ぶことがある．
Stanford Encyclopedia of PhilosophyのModal Logicの章では$ \bf Mとして解説されていた．
https://gyazo.com/9384490296b799870a353d57830841d1
このプロジェクトでは様相論理の公理Tという名前に統一する．