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