Hao, Y.; Tourlakis, G. An Arithmetically Complete Predicate Modal Logic. B Sect Log 2021, 50 (4), 513-541. https://doi.org/10.18778/0138-0680.2021.18.