最終更新日:2023/09/06
The Barcan formula is a principle in quantified modal logic.
正解を見る
The Barcan formula is a principle in quantified modal logic.
編集履歴(0)
The Barcan formula is a principle in quantified modal logic.
The Barcan formula is a principle in quantified modal logic.