TY  - JOUR
AU  - Hao, Yunge
AU  - Tourlakis, George
TI  - An Arithmetically Complete Predicate Modal Logic
JO  - Bulletin of the Section of Logic
PY  - 2021
SP  - 513
EP  - 541
VL  - 50
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BSL_2021_50_4_a3/
LA  - en
ID  - BSL_2021_50_4_a3
ER  -