様相論理のメモ。文献を見ていると、S4.3を特徴づける公理型は ◇P&◇Q → ◇(◇P&Q)∨◇(◇Q&P) □(□P→Q)∨□(□Q→P) の2種類あるようだ*1。これらが同値であることは体系Kで証明できる。これらに対応するフレーム<W, R>の到達可能性関係は、以下。 wRu & wRv → uRv v vRu</w,>…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。