Free logic traditions (Lambert, Bencivenga) demonstrate that quantified modal systems can be constru...