The following pages link to On Rosser's Provability Predicate (Q5203006):
Displayed 6 items.
- Henkin sentences and local reflection principles for Rosser provability (Q892168) (← links)
- Rosser provability and the second incompleteness theorem (Q2097058) (← links)
- Rosser provability and normal modal logics (Q2186698) (← links)
- Bimodal logics for extensions of arithmetical theories (Q4879903) (← links)
- Arithmetical completeness theorems for monotonic modal logics (Q6040616) (← links)
- Some observations on the FGH theorem (Q6057622) (← links)