scientific article; zbMATH DE number 4139714
From MaRDI portal
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
(20)- An application of Rieger-Nishimura formulas to the intuitionistic modal logics
- Modal companions of intermediate propositional logics
- Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics
- Speaking about transitive frames in propositional languages
- A general method for proving decidability of intuitionistic modal logics
- One-variable fragments of intermediate logics over linear frames
- scientific article; zbMATH DE number 3853039 (Why is no real title available?)
- scientific article; zbMATH DE number 3880661 (Why is no real title available?)
- On the Finite Model Property of Intuitionistic Modal Logics over MIPC
- scientific article; zbMATH DE number 1431908 (Why is no real title available?)
- MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
- TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
- On intuitionistic diamonds (and lack thereof)
- One-variable fragments of first-order logics
- Polytime embedding of intuitionistic modal logics into their one-variable fragments
- The monadic Grzegorczyk logic
- 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
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)
