An Arithmetically Complete Predicate Modal Logic Yunge Hao; George Tourlakis — 2021 Bulletin of the Section of Logic