@misc{indiciaeb134bc7c7a76, title = {A Logic that Captures \$β\$P on Ordered Structures}, author = {Kexu Wang and Xishun Zhao}, year = {2022}, url = {https://arxiv.org/abs/1912.03841}, note = {Source identifier: 1912.03841} }