Pages that link to "Item:Q456968"
From MaRDI portal
The following pages link to On provability logics with linearly ordered modalities (Q456968):
Displayed 9 items.
- On the complexity of the closed fragment of Japaridze's provability logic (Q482919) (← links)
- Turing-Taylor expansions for arithmetic theories (Q514512) (← links)
- The omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
- The polytopologies of transfinite provability logic (Q2449857) (← links)
- Linear $ \mathrm{GLP}$-algebras and their elementary theories (Q2966735) (← links)
- Derived topologies on ordinals and stationary reflection (Q4644955) (← links)
- Models of transfinite provability logic (Q5300077) (← links)
- PREDICATIVITY THROUGH TRANSFINITE REFLECTION (Q5359565) (← links)
- Reflection calculus and conservativity spectra (Q5377088) (← links)