Y. Hao and G. Tourlakis, “An Arithmetically Complete Predicate Modal Logic”, B Sect Log, vol. 50, no. 4, pp. 513–541, Aug. 2021, doi: 10.18778/0138-0680.2021.18.