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

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) 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

(14)

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

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)