戸田山『論理学をつくる』は終盤で様相論理について簡潔な解説をしている。そこで「対応理論」という用語がでてくる(p.315)。様相論理の式とそれが妥当になるフレームの到達可能性関係の対応をあつかう理論、といったところだろうか。そこで著者が紹介して…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。