16186 | The Barcan Formulas express how to combine modal operators with classical quantifiers |

16187 | The Barcan Formulas are orthodox, but clash with the attractive Actualist view |

16189 | The variable domain approach to quantified modal logic invalidates the Barcan Formula |

16190 | BF implies that if W possibly had a child, then something is possibly W's child |

16188 | Serious Actualism says there are no facts at all about something which doesn't exist |