TY - JOUR AU - Skvortsov, Dmitrij IS - 2 JA - Studia Logica PB - Springer Netherlands PY - 1998 TI - On some Kripke complete and Kripke incomplete intermediate predicate logics VL - 61 ER -