様相論理のメモ。S5フレームは、KTB4ともKT5とも特徴づけられるが、KDB4とかKDB5とも特徴づけられる。とりあえず、ここでは T:□φ→φ をKDB4から導出してみる。 □φと¬φを仮定する。Bにより¬φ→□◇¬φ。Dにより□◇¬φ→◇◇¬φ。4により◇◇¬φ→◇¬φ。定義により◇¬φ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。