削除された内容 追加された内容
編集の要約なし
編集の要約なし
5行目:
クリプキ意味論は、可能世界の集合とそれらの関係で定義される。
 
{{substubPhilos-stub}}
 
{{DEFAULTSORT:くりふきもてる}}
[[Category:様相論理]]