more on this theme | more from this thinker | more from this text
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 Ref
Sider,Theodore: 'Logic for Philosophy' [OUP 2010], p.250