Weakly complete axiomatization of exogenous quantum propositional logic

A finitary axiomatization for EQPL (exogenous quantum propositional logic) is presented. The axiomatization is shown to be weakly complete relative to an oracle for analytical reasoning. The proof is carried out using a non-trivial extension of the Fagin–Halpern–Megiddo technique together with three Henkin style completions.