@misc{indiciaeeedb09045664, title = {The approximate strong completeness of the hypersequent calculus \$\textbackslash{}text\{GŁ\}\textbackslash{}forall\$}, author = {Kai Duo}, year = {2026}, url = {https://arxiv.org/abs/2606.03133}, note = {Source identifier: 2606.03133} }