@misc{indiciae8672988eb4d1,
  title = {Finishing Oltean's Completeness Proof in Lean 4 for Hybrid Logic \$L(\textbackslash{}forall)\$},
  author = {Lars Warren Ericson},
  year = {2026},
  url = {https://arxiv.org/abs/2606.19761},
  note = {Source identifier: 2606.19761}
}