様相論理のメモ。S4に次の公理Mを加えたものをS4.1という。 M: □◇P→◇□P この名称は論理学者マッキンゼーに由来する。S4.1に対応するフレームの条件は、反射性・推移性、そして、終点の存在（endpoint existence）、すなわち ∀w∃u [wRu ＆ ∀t(uRt → u=t)] で…