Tag: Barcan formula

Converse Barcan Formula in Modal Logic

The Converse Barcan Formula posits that if a property is necessarily possible…

Bossmind

Barcan Formula

The Barcan formula in modal logic states that if something exists, then…

Bossmind