Pages that link to "Item:Q2510758"
From MaRDI portal
The following pages link to A simplified proof of arithmetical completeness theorem for provability logic GLP (Q2510758):
Displaying 7 items.
- Positive provability logic for uniform reflection principles (Q392274) (← links)
- On provability logics with linearly ordered modalities (Q456968) (← links)
- The omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
- On the reduction property for GLP-algebras (Q2358595) (← links)
- Interpolation properties for provability logics GL and GLP (Q2510774) (← links)
- Derived topologies on ordinals and stationary reflection (Q4644955) (← links)
- Topological Interpretations of Provability Logic (Q5255798) (← links)
