scientific article; zbMATH DE number 850397

MaRDI QIDQ4866422zbMATH OpenFDO

Authors Alexander Vasil'evich Chagrov

Publication date 4 March 1996

zbMATH Keywords

modal logicssuperintuitionistic logicsundecidability of properties of logics

Mathematics Subject Classification ID

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

Recommendations

• Undecidable properties of extensions of the logic of provability
• The undecidability of the disjunction property of propositional logics and other related problems
• Undecidable properties of extensions of provability logic. II
• One superintuitionistic calculus of propositions

Cited in

(17)

• One superintuitionistic calculus of propositions
• Strong decidability and strong recognizability
• Properties of superintuitionistic propositional calculi
• Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi
• Undefinability in inquisitive logic with tensor
• Classification of extensions of the modal logic S4
• scientific article; zbMATH DE number 5827852 (Why is no real title available?)
• LC and its pretabular relatives
• Untestable Properties Expressible with Four First-Order Quantifiers
• The undecidability of the disjunction property of propositional logics and other related problems
• Strongly decidable properties of modal and intuitionistic calculi
• On the number of variables in undecidable superintuitionistic propositional calculi
• scientific article; zbMATH DE number 1383827 (Why is no real title available?)
• On the simple substitution property for superintuitionistic and modal propositional logics
• Undecidable properties of extensions of the logic of provability
• Undecidable properties of extensions of provability logic. II
• Recognizable logics

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