scientific article; zbMATH DE number 4143948

MaRDI QIDQ3475247zbMATH OpenFDO

Authors Alexander Vasil'evich Chagrov, Michael Zakharyaschev

Publication date 1990

zbMATH Keywords

disjunction propertyHalldén-completenessmodal logicnormal extensions of S4

Mathematics Subject Classification ID

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

Recommendations

• Halldén completeness for relevant modal logics
• scientific article; zbMATH DE number 496041
• Halldén-completeness in super-intuitionistic predicate logics
• scientific article; zbMATH DE number 2149468
• On Halldén completeness of modal logics determined by homogeneous Kripke frames

Cited in

(10)

• The disjunction property of intermediate propositional logics
• Modal companions of intermediate propositional logics
• The first axiomatization of relevant logic
• Halldén-completeness in super-intuitionistic predicate logics
• S7
• On Halldén completeness of modal logics determined by homogeneous Kripke frames
• scientific article; zbMATH DE number 6704247 (Why is no real title available?)
• The undecidability of the disjunction property of propositional logics and other related problems
• scientific article; zbMATH DE number 496041 (Why is no real title available?)
• scientific article; zbMATH DE number 2149468 (Why is no real title available?)

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