scientific article; zbMATH DE number 3786733

MaRDI QIDQ3964525zbMATH OpenFDO

Authors Valentin Shehtman

Publication date 1982

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)