様相論理のメモ。文献を見ていると、S4.3を特徴づける公理型は ◇P＆◇Q → ◇(◇P＆Q)∨◇(◇Q＆P) □(□P→Q)∨□(□Q→P) の2種類あるようだ*1。これらが同値であることは体系Kで証明できる。これらに対応するフレーム<W, R>の到達可能性関係は、以下。 wRu ＆ wRv → uRv v vRu</w,>…