The following pages link to (Q3731573):
Displayed 5 items.
- Undecidable properties of extensions of the logic of provability (Q757339) (← links)
- Logical equations and admissible rules of inference with parameters in modal provability logics (Q805609) (← links)
- Independent numerations of theories and recursive progressions (Q1204765) (← links)
- On bimodal logics of provability (Q1332858) (← links)
- PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC (Q4692089) (← links)