Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics Nobu -Yuki Suzuki OriginalPaper Pages: 289 - 306
Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable Valentin Shehtman OriginalPaper Pages: 365 - 385