量化樣相論理
Barcan 式 / 逆 Barcan 式
Barcan 式 (Barcan formula)
Barcan formula - Wikipedia
Ruth Barcan Marcus - Wikipedia#Quantified modal logic
$ \forall x\square Px\to\square\forall xPx.
$ \lozenge\exist xPx\to\exist x\lozenge Px.
逆 Barcan 式 (converse Barcan formula)
$ \square\forall xPx\to\forall x\square Px.
$ \exist x\lozenge Px\to\lozenge\exist xPx.
Buridan 式 / 逆 Buridan 式
Buridan 式 (Buridan formula)
Buridan formula - Wikipedia
ジャン・ビュリダン - Wikipedia
$ \lozenge\forall xPx\to\forall x\lozenge Px.
$ \exist x\square Px\to\square\exist xPx.
逆 Buridan 式 (converse Buridan formula)
$ \forall x\lozenge Px\to\lozenge\forall xPx.
$ \square\exist xPx\to\exist x\square Px.
de dicto / de re / de se
simplest quantified modal logic (SQML)
Actualism (Stanford Encyclopedia of Philosophy/Fall 2022 Edition)#2. The Simplest Quantified Modal Logic (SQML)
Actualism > The Simplest Quantified Modal Logic (SQML) (Stanford Encyclopedia of Philosophy/Fall 2022 Edition)
Barcan 式
Actualism > Proof of the Barcan Formula in SQML (Stanford Encyclopedia of Philosophy/Fall 2022 Edition)
Actualism > The Barcan Formula is Logically True (Stanford Encyclopedia of Philosophy/Fall 2022 Edition)
逆 Barcan 式
Actualism > Proof of CBF in SQML (Stanford Encyclopedia of Philosophy/Fall 2022 Edition)
Actualism > Proof of NE in SQML (Stanford Encyclopedia of Philosophy/Fall 2022 Edition)
Kripke's Quantified Modal Logic (KQML)
Actualism > Kripke's Quantified Modal Logic (KQML) (Stanford Encyclopedia of Philosophy/Fall 2022 Edition)
Actualism (Stanford Encyclopedia of Philosophy/Fall 2022 Edition)#3.2 Kripke's Quantified Modal Logic