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