様相論理を学ぶと体系が沢山現れることが気になると思う。 それじゃあ一体いくらあるんだ? という疑問に対してこう答えられる。 S4を含む様相論理だけで非可算無限個ある。 つまりアホほど存在するのである。 Kit Fine, "An ascending chain of S4 logics",…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。