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