scientific article

zbMath0455.03013MaRDI QIDQ3902989

Valentin Shehtman

Publication date: 1980

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

zbMATH Keywords

modal logicKripke semanticssuper-intuitionistic logicKripke compactKripke completionneighbourhood completion

Mathematics Subject Classification ID

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

Related Items (8)

On superintuitionistic logics as fragments of proof logic extensions ⋮ A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras ⋮ A new solution to a problem of Hosoi and Ono ⋮ Syntax and semantics of superintuitionistic logics ⋮ A semantic hierarchy for intuitionistic logic ⋮ Modal companions of intermediate propositional logics ⋮ Comparison of the topological and relational semantics of superintuitionistic logics ⋮ On the Blok-Esakia Theorem

This page was built for publication: