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