Gödel-Dummet論理
Memo
直観主義命題論理
に
Dummettの法則
を追加した論理.
様相論理S4.3
と
Modal Companion
を持つ.