The following pages link to (Q5202654):
Displaying 15 items.
- Kripke semantics for provability logic GLP (Q636316) (← links)
- The analytical completeness of Dzhaparidze's polymodal logics (Q685073) (← links)
- Transductions in arithmetic (Q904144) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- The omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
- The logic of Turing progressions (Q2176413) (← links)
- The polytopologies of transfinite provability logic (Q2449857) (← links)
- The Henkin Sentence (Q3454817) (← links)
- Derived topologies on ordinals and stationary reflection (Q4644955) (← links)
- STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES (Q4977222) (← links)
- AXIOMATIZATION OF PROVABLE n-PROVABILITY (Q5222538) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- On strong provability predicates and the associated modal logics (Q5287692) (← links)
- PREDICATIVITY THROUGH TRANSFINITE REFLECTION (Q5359565) (← links)
- On provability logics of Niebergall arithmetic (Q6568709) (← links)
