scientific article; zbMATH DE number 850397

zbMATH Open0840.03018MaRDI QIDQ4866422FDOQ4866422

Authors: Alexander Vasil'evich Chagrov 

Publication date: 4 March 1996

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

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

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)

Cited In (14)

• Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi
• The undecidability of the disjunction property of propositional logics and other related problems
• One superintuitionistic calculus of propositions
• 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
• Title not available (Why is that?)
• 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
• Untestable Properties Expressible with Four First-Order Quantifiers
• Recognizable logics
• 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)