In the seminar, students compared different modal logics to see which could best model temporal notions.
セミナーで、学生たちは時間的概念を最もよくモデル化できる様相論理の諸体系を比較した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
