scientific article; zbMATH DE number 1418447

zbMATH Open0955.03029MaRDI QIDQ4942002FDOQ4942002

Authors: F. Wolter, Michael Zakharyaschev 

Publication date: 26 February 2001

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

Recommendations

• Models for normal intuitionistic modal logics
• Intuitionistic tense and modal logic
• A note concerning the intuitionistic modal logic \({\text{\textbf{IMK}}}_k\)
• scientific article
• scientific article; zbMATH DE number 1303434

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 (41)

• 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
• Models for normal intuitionistic modal logics
• The Došen square under construction: a tale of four modalities
• One-step modal logics, intuitionistic and classical. I
• A note concerning the intuitionistic modal logic \({\text{\textbf{IMK}}}_k\)
• Title not available (Why is that?)
• Intuitionistic tense and modal logic
• 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
• Intuitionistic logic and modality via topology
• On the finite model property of weak intuitionistic tense logic
• Proof theory for Lax Logic
• Mathematical modal logic: A view of its evolution
• Algebras and relational frames for Gödel modal logic and some of its extensions
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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

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)