論理学において、必然や可能といった認識による推論判断にまで論理を拡張したのが様相論理である。 可能世界論によると必然(□)と可能(◇)は次のように定義される。 世界wから世界vに到達関係があることをwRv表すこととし、 □PとはwRvであるような全てのvにお…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。