Graduate students built several Kripke models to test the semantics of the new modal logic.
大学院生たちは新しい様相論理の意味論を検証するために、いくつかのクリプキ構造を構築した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
