scientific article; zbMATH DE number 3786733

zbMATH Open0499.03003MaRDI QIDQ3964525FDOQ3964525

Authors: Valentin Shehtman 

Publication date: 1982

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

zbMATH Keywords

Kripke modelsmodal logictense logicsuperintuitionistic logicalgorithmic problems for propositional logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Intermediate logics (03B55)

Cited In (4)

• Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi
• Equations in free topoboolean algebra
• Kripke completeness of strictly positive modal logics over meet-semilattices with operators
• A note on strictly positive logics and word rewriting systems

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 Q3964525)