scientific article; zbMATH DE number 1418447
From MaRDI portal
Publication:4942002
Recommendations
Cited in
(57)- 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
- 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)
