TY - JOUR AU - Iemhoff, Rosalie AU - Passmann, Robert IS - 10 JA - Annals of Pure and Applied Logic PY - 2021 TI - Logics of intuitionistic Kripke-Platek set theory VL - 172 ER -