ON TWO EXTENSIONS OF THE LOGIC OF PROVABILITY GL

DOI10.1070/SM1991v069n01ABEH001236zbMath0716.03009OpenAlexW2031192237MaRDI QIDQ3202992

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)

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