Pages that link to "Item:Q636316"
From MaRDI portal
The following pages link to Kripke semantics for provability logic GLP (Q636316):
Displaying 14 items.
- Positive provability logic for uniform reflection principles (Q392274) (← links)
- Provability and interpretability logics with restricted realizations (Q435232) (← 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)
- On the positive fragment of the polymodal provability logic GLP (Q2435945) (← links)
- The polytopologies of transfinite provability logic (Q2449857) (← links)
- A simplified proof of arithmetical completeness theorem for provability logic GLP (Q2510758) (← links)
- Interpolation properties for provability logics GL and GLP (Q2510774) (← links)
- Linear $ \mathrm{GLP}$-algebras and their elementary theories (Q2966735) (← links)
- Derived topologies on ordinals and stationary reflection (Q4644955) (← links)
- Topological Interpretations of Provability Logic (Q5255798) (← links)
- A topological completeness theorem for transfinite provability logic (Q6103511) (← links)
- On provability logics of Niebergall arithmetic (Q6568709) (← links)
