調べた内容の私的な解釈を書いた感じなので用心されたい。命題について、述語論理が「どんな対象について成り立つか」を扱う様に、様相論理は「どの程度成り立つか」を扱う。様相論理は世界(解釈とその上で成り立つ論理式の集まり)自体を記述し、命題に対…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。