scientific article; zbMATH DE number 1418447
From MaRDI portal
Publication:4942002
The authors give an overview of the model theory for classes of extensions of some basic modal systems to the intuitionistic base, combining methods of classical modal systems and intermediate logics. The paper provides a wealth of information for anyone interested in intuitionistic modal logics. For the entire collection see [Zbl 0927.00020].
Recommendations
Cited in
(59)- Intuitionistic truth
- Models for normal intuitionistic modal logics
- Mathematical modal logic: A view of its evolution
- A semantic hierarchy for intuitionistic logic
- Verification of dynamic bisimulation theorems in Coq
- A proof-theoretic approach to negative translations in intuitionistic tense logics
- The G4i analogue of a G3i sequent calculus
- The Došen square under construction: a tale of four modalities
- On the finite model property of weak intuitionistic tense logic
- Constructive and mechanised meta-theory of intuitionistic epistemic logic
- One-step modal logics, intuitionistic and classical. I
- Uniform interpolation and the existence of sequent calculi
- Hilbert algebras with a modal operator \(\diamondsuit\)
- Discovering knowability: a semantic analysis
- A general method for proving decidability of intuitionistic modal logics
- Hennessy-Milner properties via topological compactness
- Intuitionistic Trilattice Logics
- A note concerning the intuitionistic modal logic \({\text{\textbf{IMK}}}_k\)
- scientific article; zbMATH DE number 3865242 (Why is no real title available?)
- scientific article; zbMATH DE number 3865243 (Why is no real title available?)
- Intuitionistic epistemology and modal logics of verification
- scientific article; zbMATH DE number 3950488 (Why is no real title available?)
- Intuitionistic tense and modal logic
- scientific article; zbMATH DE number 92610 (Why is no real title available?)
- scientific article; zbMATH DE number 1791673 (Why is no real title available?)
- Intuitionistic modal logic: a 15-year retrospective
- On displaying negative modalities
- A deductive-reductive form of logic: Intuitionistic S4 modalities
- scientific article; zbMATH DE number 1431908 (Why is no real title available?)
- Preface to Intuitionistic modal logic 2017
- Modal meet-implication logic
- scientific article; zbMATH DE number 7585721 (Why is no real title available?)
- On expressive power of basic modal intuitionistic logic as a fragment of classical FOL
- Constructive modalities with provability smack
- Double negation operator in logic N^*
- Intuitionistic Logics of Confirmation and Discouragement
- Intuitionistic modality and Beth semantics
- Intuitionistic logic and modality via topology
- Normal companions of intuitionistic modal logics
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations
- Dick de Jongh on intuitionistic and provability logics
- Intuitionistic public announcement logic with distributed knowledge
- Proof theory for Lax Logic
- Intermediate logics in the setting of team semantics
- Algebras and relational frames for Gödel modal logic and some of its extensions
- Universal proof theory: feasible admissibility in intuitionistic modal logics
- A proof-theoretic view of basic intuitionistic conditional logic
- Forward proof search for intuitionistic multimodal K logics
- Two-dimensional Kripke semantics i: presheaves
- Compatibility between modal operators in distributive modal logic
- Modal expansions of ririgs
- A coalgebraic view on positive modal logic
- Truthmaker semantics for intuitionistic modal logic
- Intuitionistic monotone modal logic via translation
- Weak converse and complement for quantale-enriched profunctors
- Uniform interpolation with constructive diamond
- Nuclear shifts for conservation
- Intuitionistic hybrid logic: introduction and survey
- Intuitionistic non-normal modal logics: a general framework
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 Q4942002)
