On Rosser's Provability Predicate
From MaRDI portal
Recommendations
- Derivability conditions on Rosser's provability predicates
- Rosser provability and the second incompleteness theorem
- Rosser provability and normal modal logics
- On the proof theory of the existence predicate
- scientific article; zbMATH DE number 93462
- On a Diophantine representation of the predicate of provability
- scientific article; zbMATH DE number 3062918
- scientific article; zbMATH DE number 5157044
- scientific article; zbMATH DE number 1670501
Cited in
(20)- A simplification of a completeness proof of Guaspari and Solovay
- Rosser orderings and free variables
- Rosser and Mostowski sentences
- On constructivity and the Rosser property: a closer look at some Gödelean proofs
- A note on some extension results
- Rosser provability and the second incompleteness theorem
- Rosser provability and normal modal logics
- A remark on equivalent Rosser sentences
- Derivability conditions on Rosser's provability predicates
- Modal analysis of generalized rosser sentences
- scientific article; zbMATH DE number 2109538 (Why is no real title available?)
- Bimodal logics for extensions of arithmetical theories
- How much propositional logic suffices for Rosser's essential undecidability theorem?
- Universal Rosser predicates
- Arithmetical completeness theorems for monotonic modal logics
- Some observations on the FGH theorem
- On provability logics of Niebergall arithmetic
- Interpolation properties for the bimodal provability logic \textbf{GR}
- Henkin sentences and local reflection principles for Rosser provability
- Arithmetic with a local reflection principle for Rosser provability formulas
This page was built for publication: On Rosser's Provability Predicate
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5203006)
