Tag: converse barcan formula

Converse Barcan Formula in Modal Logic

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

Bossmind