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