年度末。 お昼はシティに出て久しぶりのベトナム料理。 ミントがおいしい。 夕方から定例セミナー。 「様相言明を含んだ推論のパラドクス(モードゥス・トレンスが成り立たなくなる)を解決するために、様相言明は可能世界の集合とアナフォリックな構造を通…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。