Hao, Yunge, and George Tourlakis. 2021. “An Arithmetically Complete Predicate Modal Logic”. Bulletin of the Section of Logic 50 (4):513-41. https://doi.org/10.18778/0138-0680.2021.18.