最終更新日:2024/08/04
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)