scientific article; zbMATH DE number 3639591

zbMath0412.03011MaRDI QIDQ4198476

Valentin Shehtman

Publication date: 1977

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

zbMATH Keywords

modal logicsintermediate logicsincompleteness of Kripke's semantics

Mathematics Subject Classification ID

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

Related Items (13)

Rudimentary Kripke models for the intuitionistic propositional calculus ⋮ A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras ⋮ A new solution to a problem of Hosoi and Ono ⋮ Constructive canonicity in non-classical logics ⋮ B-frame duality ⋮ Finite approximability of the \(I^\delta\) calculus and the existence of an extension having no model ⋮ Mathematical modal logic: A view of its evolution ⋮ Strong equivalence on an intuitionistic Kripke model and assertorically equivolumetric logics ⋮ Modal companions of intermediate propositional logics ⋮ Semiconic idempotent residuated structures ⋮ A result on the completeness of superintuitionistic logics ⋮ Undecidable properties of extensions of provability logic. II ⋮ Superintuitionistic logics approximated by algebras with the descending chain condition

This page was built for publication: