量化樣相論理
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)
Barcan formula - Wikipedia#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
$ \lozenge\forall xPx\to\forall x\lozenge Px
$ \exist x\square Px\to\square\exist xPx
逆 Buridan 式 (converse Buridan formula)
Buridan formula - Wikipedia#The 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