scientific article; zbMATH DE number 4168652

MaRDI QIDQ3495340zbMATH OpenFDO

Authors V. Yu. Shavrukov

Publication date 1990

Full work available at URL https://eudml.org/doc/72139

zbMATH Keywords

finite axiomatizationmodal logic of provability GLprovability interpretation of Grzprovability logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Gödel numberings and issues of incompleteness (03F40)

Recommendations

• scientific article; zbMATH DE number 4210107
• scientific article; zbMATH DE number 3963790
• Undecidable properties of extensions of provability logic. II
• scientific article; zbMATH DE number 3963789
• scientific article; zbMATH DE number 3849201

Cited in

(11)

• Maximality in modal logic
• Modal companions of intermediate propositional logics
• Irreflexive modality in the intuitionistic propositional logic and Novikov completeness
• On an extension of Gabbay's logic
• scientific article; zbMATH DE number 3849201 (Why is no real title available?)
• scientific article; zbMATH DE number 4210107 (Why is no real title available?)
• scientific article; zbMATH DE number 3963789 (Why is no real title available?)
• scientific article; zbMATH DE number 3963790 (Why is no real title available?)
• Glivenko like theorems in natural expansions of BCK-logic
• On some proof theoretical properties of the modal logic GL
• The disjunction property and Church's thesis in arithmetic with Grzegorczyk logic

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