Hao, Yunge, and George Tourlakis. “An Arithmetically Complete Predicate Modal Logic”. Bulletin of the Section of Logic 50, no. 4 (August 23, 2021): 513–541. Accessed April 25, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/8441.