Publication:3472079
From MaRDI portal
zbMath0696.03007MaRDI QIDQ3472079
Nobu-Yuki Suzuki, Hiroakira Ono
Publication date: 1988
axiomatization; Kripke frame; regular frames; intermediate predicate logics; intuitionistic modal logics
Related Items
On the Finite Model Property of Intuitionistic Modal Logics over MIPC, The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem, Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics, Intuitionistic hybrid logic: introduction and survey, An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics, Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics, A general method for proving decidability of intuitionistic modal logics, One-variable fragments of intermediate logics over linear frames