scientific article; zbMATH DE number 1418447

zbMath0955.03029MaRDI QIDQ4942002

Frank Wolter, Michael Zakharyashchev

Publication date: 26 February 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logicintuitionistic logicKripke frameintermediate logicmodal system

Mathematics Subject Classification ID

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

Related Items

Intuitionistic non-normal modal logics: a general framework ⋮ The Došen square under construction: a tale of four modalities ⋮ Intuitionistic Epistemology and Modal Logics of Verification ⋮ On the finite model property of weak intuitionistic tense logic ⋮ Constructive and mechanised meta-theory of intuitionistic epistemic logic ⋮ Hennessy-Milner properties via topological compactness ⋮ Normal companions of intuitionistic modal logics ⋮ On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations ⋮ Discovering knowability: a semantic analysis ⋮ A semantic hierarchy for intuitionistic logic ⋮ On expressive power of basic modal intuitionistic logic as a fragment of classical FOL ⋮ Double Negation Operator in Logic N ∗ ⋮ A coalgebraic view on positive modal logic ⋮ On Displaying Negative Modalities ⋮ A general method for proving decidability of intuitionistic modal logics ⋮ Unnamed Item ⋮ Verification of dynamic bisimulation theorems in Coq ⋮ Uniform interpolation and the existence of sequent calculi ⋮ A proof-theoretic approach to negative translations in intuitionistic tense logics ⋮ The G4i analogue of a G3i sequent calculus ⋮ Hilbert algebras with a modal operator \(\diamondsuit\)