scientific article
From MaRDI portal
Publication:3472079
zbMath0696.03007MaRDI QIDQ3472079
Nobu-Yuki Suzuki, Hiroakira Ono
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS ⋮ One-variable fragments of intermediate logics over linear frames ⋮ The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem ⋮ 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 ⋮ On the Finite Model Property of Intuitionistic Modal Logics over MIPC ⋮ Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics ⋮ Intuitionistic hybrid logic: introduction and survey ⋮ MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
This page was built for publication: