Hao, Y. and Tourlakis, G. 2021. An Arithmetically Complete Predicate Modal Logic. Bulletin of the Section of Logic. 50, 4 (Aug. 2021), 513–541. DOI:https://doi.org/10.18778/0138-0680.2021.18.