Undecidability of a second-order provability logic with operation of comparison of witnesses

zbMath0826.03010MaRDI QIDQ1898556

Pavel Naumov

Publication date: 25 September 1995

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

zbMATH Keywords

undecidabilityPeano arithmeticprovability logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30)

This page was built for publication: Undecidability of a second-order provability logic with operation of comparison of witnesses