 In fact, the Barcan formulae schemata \(\mathsf{BF}_{G}\) and \(\mathsf{BF}_{H}\) and their converses \(\mathsf{CBF}_{G}\) and \(\mathsf{CBF}_{H}\) correspond to conditions on the local domains. For any augmented temporal frame \(\mathcal{F}\), the following holds: