ちゃんと勉強してみます。>様相論理の意味論としてはソール・クリプキによって与えられたクリプキ意味論と呼ばれる体系があり、それと関係するよく知られたアイディアとして可能世界論がある。

YOWYOW のブックマーク 2007/08/10 06:58

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

様相論理 - Wikipedia

    様相論理(ようそうろんり、英: modal logic)は、いわゆる古典論理の対象でない、様相(modal)と呼ばれる「〜は必然的に真」や「〜は可能である」といった必然性や可能性などを扱う論理である(様相論理は、部...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう