Hao Y, Tourlakis G. An Arithmetically Complete Predicate Modal Logic. B Sect Log [Internet]. 2021 Aug. 23 [cited 2024 Apr. 16];50(4):513-41. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/8441