scientific article; zbMATH DE number 4139714
From MaRDI portal
zbMATH Open0696.03007MaRDI QIDQ3472079FDOQ3472079
Nobu-Yuki Suzuki, Hiroakira Ono
Publication date: 1988
Title of this publication is not available (Why is that?)
Recommendations
- Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics
- An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics
- scientific article; zbMATH DE number 1303434
- scientific article; zbMATH DE number 1431908
- Models for normal intuitionistic modal logics
Cited In (16)
- MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
- TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS
- A general method for proving decidability of intuitionistic modal logics
- 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
- Title not available (Why is that?)
- Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics
- Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics
- One-variable fragments of first-order logics
- Intuitionistic hybrid logic: introduction and survey
- Modal companions of intermediate propositional logics
- One-variable fragments of intermediate logics over linear frames
- Title not available (Why is that?)
- An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics
- An application of Rieger-Nishimura formulas to the intuitionistic modal logics
- On intuitionistic diamonds (and lack thereof)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3472079)
