scientific article; zbMATH DE number 850397

zbMath0840.03018MaRDI QIDQ4866422

Alexander Chagrov

Publication date: 4 March 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

Related Items (6)

Recognizable logics ⋮ Strong decidability and strong recognizability ⋮ Classification of extensions of the modal logic S4 ⋮ LC and Its Pretabular Relatives ⋮ Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi ⋮ On the simple substitution property for superintuitionistic and modal propositional logics

This page was built for publication: