On Rosser's Provability Predicate

DOI10.1002/MALQ.19910371906zbMath0726.03042OpenAlexW2092975474MaRDI QIDQ5203006

V. Yu. Shavrukov

Publication date: 1991

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19910371906

zbMATH Keywords

Kripke modelsprovability logicarithmetical completenesswitness comparisonbimodal propositional logic GRprovability in Peano Arithmeticprovable uniqueness of Rosser fixed pointsRosser provabilityRosser's proof predicate

Mathematics Subject Classification ID

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

Related Items (6)

Rosser provability and normal modal logics ⋮ Arithmetical completeness theorems for monotonic modal logics ⋮ Some observations on the FGH theorem ⋮ Henkin sentences and local reflection principles for Rosser provability ⋮ Bimodal logics for extensions of arithmetical theories ⋮ Rosser provability and the second incompleteness theorem

This page was built for publication: On Rosser's Provability Predicate