Hao, Y., and G. Tourlakis. “An Arithmetically Complete Predicate Modal Logic”. Bulletin of the Section of Logic, vol. 50, no. 4, Aug. 2021, pp. 513-41, doi:10.18778/0138-0680.2021.18.