The following pages link to (Q3731573):
Displaying 18 items.
- Undecidable properties of extensions of the logic of provability (Q757339) (← links)
- On some proof theoretical properties of the modal logic GL (Q798649) (← 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)
- On interactive proof-search for constructive modal necessity (Q2133450) (← links)
- Rosser provability and normal modal logics (Q2186698) (← links)
- (Q3509069) (← links)
- (Q3693507) (← links)
- (Q3699666) (← links)
- (Q3743303) (← links)
- (Q4250049) (← links)
- (Q4263489) (← links)
- The complexity of the modal predicate logic of “true in every transitive model of ZF” (Q4382481) (← links)
- (Q4636037) (← links)
- (Q4661993) (← links)
- PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC (Q4692089) (← links)
- (Q5354747) (← links)