最終更新日:2023/09/05
Kripke frames are used in modal logic to represent possible worlds and their relationships.
正解を見る
Kripke frames are used in modal logic to represent possible worlds and their relationships.
編集履歴(0)