scientific article; zbMATH DE number 1418447

zbMATH Open0955.03029MaRDI QIDQ4942002FDOQ4942002

Michael Zakharyaschev, F. Wolter

Publication date: 26 February 2001

Title of this publication is not available (Why is that?)

zbMATH Keywords

intermediate logicintuitionistic logicmodal logicKripke framemodal system

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Cited In (34)

• Double Negation Operator in Logic N ∗
• Title not available (Why is that?)
• On Displaying Negative Modalities
• Verification of dynamic bisimulation theorems in Coq
• The G4i analogue of a G3i sequent calculus
• Intuitionistic public announcement logic with distributed knowledge
• Title not available (Why is that?)
• A coalgebraic view on positive modal logic
• Discovering knowability: a semantic analysis
• A semantic hierarchy for intuitionistic logic
• Normal companions of intuitionistic modal logics
• The Došen square under construction: a tale of four modalities
• One-step modal logics, intuitionistic and classical. I
• Title not available (Why is that?)
• A general method for proving decidability of intuitionistic modal logics
• Uniform interpolation and the existence of sequent calculi
• A deductive-reductive form of logic: Intuitionistic S4 modalities
• Intermediate logics in the setting of team semantics
• Hilbert algebras with a modal operator \(\diamondsuit\)
• Constructive and mechanised meta-theory of intuitionistic epistemic logic
• On the finite model property of weak intuitionistic tense logic
• Proof theory for Lax Logic
• Algebras and relational frames for Gödel modal logic and some of its extensions
• Title not available (Why is that?)
• Intuitionistic non-normal modal logics: a general framework
• Intuitionistic Trilattice Logics
• Hennessy-Milner properties via topological compactness
• On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations
• Intuitionistic Epistemology and Modal Logics of Verification
• Universal proof theory: feasible admissibility in intuitionistic modal logics
• Intuitionistic truth
• A proof-theoretic approach to negative translations in intuitionistic tense logics
• Title not available (Why is that?)
• On expressive power of basic modal intuitionistic logic as a fragment of classical FOL

   Recommendations

• Models for normal intuitionistic modal logics 👍 👎
• Intuitionistic tense and modal logic 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)