scientific article; zbMATH DE number 1418447
From MaRDI portal
Publication:4942002
Recommendations
Cited in
(48)- Normal companions of intuitionistic modal logics
- Algebras and relational frames for Gödel modal logic and some of its extensions
- Intuitionistic Logics of Confirmation and Discouragement
- Preface to Intuitionistic modal logic 2017
- Intuitionistic Trilattice Logics
- Universal proof theory: feasible admissibility in intuitionistic modal logics
- Intuitionistic tense and modal logic
- Proof theory for Lax Logic
- Intuitionistic modal logic: a 15-year retrospective
- Intermediate logics in the setting of team semantics
- Intuitionistic hybrid logic: introduction and survey
- A note concerning the intuitionistic modal logic \({\text{\textbf{IMK}}}_k\)
- Intuitionistic epistemology and modal logics of verification
- scientific article; zbMATH DE number 3865242 (Why is no real title available?)
- Hilbert algebras with a modal operator \(\diamondsuit\)
- Verification of dynamic bisimulation theorems in Coq
- scientific article; zbMATH DE number 3865243 (Why is no real title available?)
- Intuitionistic modality and Beth semantics
- A proof-theoretic approach to negative translations in intuitionistic tense logics
- Constructive modalities with provability smack
- Models for normal intuitionistic modal logics
- scientific article; zbMATH DE number 7585721 (Why is no real title available?)
- On displaying negative modalities
- Dick de Jongh on intuitionistic and provability logics
- A coalgebraic view on positive modal logic
- Discovering knowability: a semantic analysis
- Intuitionistic non-normal modal logics: a general framework
- Constructive and mechanised meta-theory of intuitionistic epistemic logic
- One-step modal logics, intuitionistic and classical. I
- scientific article; zbMATH DE number 7577565 (Why is no real title available?)
- Uniform interpolation and the existence of sequent calculi
- On expressive power of basic modal intuitionistic logic as a fragment of classical FOL
- Intuitionistic truth
- The G4i analogue of a G3i sequent calculus
- scientific article; zbMATH DE number 1791673 (Why is no real title available?)
- scientific article; zbMATH DE number 3950488 (Why is no real title available?)
- Hennessy-Milner properties via topological compactness
- Intuitionistic logic and modality via topology
- Mathematical modal logic: A view of its evolution
- A semantic hierarchy for intuitionistic logic
- Double negation operator in logic \(N^*\)
- scientific article; zbMATH DE number 92610 (Why is no real title available?)
- A general method for proving decidability of intuitionistic modal logics
- On the finite model property of weak intuitionistic tense logic
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations
- A deductive-reductive form of logic: Intuitionistic S4 modalities
- Intuitionistic public announcement logic with distributed knowledge
- The Došen square under construction: a tale of four modalities
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)
