1: \begin{abstract}

2: 	In [Azimzadeh, P., and P. A. Forsyth. ``Weakly chained matrices, policy iteration, and impulse control.'' \emph{SIAM J. Num. Anal.} 54.3 (2016): 1341-1364], we outlined the theory and implementation of computational methods for implicit schemes for Hamilton-Jacobi-Bellman quasi-variational inequalities (HJBQVIs).

3: 	No convergence proofs were given therein.

4: 	This work closes the gap by giving rigorous proofs of convergence.

5: 	%A point of difficulty in the analysis is that a standard application of the Barles-Souganidis framework (BSF) requires a stronger comparison principle than that which is available in the literature.

6: 	%By introducing a stronger notion of consistency than that which is posed in the BSF, we are able to prove convergence relying only on a well-known comparison principle.

7: 	%Previous works concerning the convergence of approximation schemes for HJBQVIs are carried out under the assumption of a stronger comparison principle than that which is available in the literature.

8: 	We do so by introducing the notion of \emph{nonlocal consistency} and appealing to a Barles-Souganidis type analysis.

9: 	Our results rely only on a well-known comparison principle and are independent of the specific form of the intervention operator.

10: \end{abstract}

11: