ON TWO EXTENSIONS OF THE LOGIC OF PROVABILITY GL

DOI10.1070/SM1991V069N01ABEH001236MaRDI QIDQ3202992zbMATH OpenOpenAlexFDO

Authors V. Yu. Shavrukov

Publication date 1991

Published in Mathematics of the USSR-Sbornik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1070/sm1991v069n01abeh001236

zbMATH Keywords

finite axiomatizationprovability logicmodal logic of provability GLprovability interpretation of Grz

Mathematics Subject Classification ID

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

Cited in

(2)

• Glivenko like theorems in natural expansions of BCK-logic
• On some proof theoretical properties of the modal logic GL

This page was built for publication: ON TWO EXTENSIONS OF THE LOGIC OF PROVABILITY GL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3202992)