Single Idea 13723

[catalogued under 4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula]

Full Idea

The proof of the Barcan Formula require System B.

Gist of Idea

System B is needed to prove the Barcan Formula

Source

Theodore Sider (Logic for Philosophy [2010], 9.7)

Book Reference

Sider,Theodore: 'Logic for Philosophy' [OUP 2010], p.250