On classes of arithmetical counterparts of modal provability logics

zbMath0711.03002MaRDI QIDQ922522

E. Yu. Nogina

Publication date: 1990

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

zbMATH Keywords

modal logicprovability logicprinciples of provability in Peano Arithmetic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

This page was built for publication: On classes of arithmetical counterparts of modal provability logics