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