Hao, Y.; Tourlakis, G. An Arithmetically Complete Predicate Modal Logic. B Sect Log 2021, 50, 513-541.