The following pages link to (Q5483298):
Displaying 12 items.
- On elementary theories of ordinal notation systems based on reflection principles (Q281010) (← links)
- On provability logics with linearly ordered modalities (Q456968) (← links)
- On the complexity of the closed fragment of Japaridze's provability logic (Q482919) (← links)
- The omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
- Conservativity spectra and Joosten-Fernández model (Q2079167) (← links)
- Reflection algebras and conservation results for theories of iterated truth (Q2120976) (← links)
- Deducibility and independence in Beklemishev's autonomous provability calculus (Q2672664) (← links)
- Linear $ \mathrm{GLP}$-algebras and their elementary theories (Q2966735) (← links)
- STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES (Q4977222) (← links)
- MÜNCHHAUSEN PROVABILITY (Q5015723) (← links)
- Topological Interpretations of Provability Logic (Q5255798) (← links)
- PREDICATIVITY THROUGH TRANSFINITE REFLECTION (Q5359565) (← links)
