scientific article; zbMATH DE number 850397
From MaRDI portal
Publication:4866422
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
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)