Pages that link to "Item:Q3019966"
From MaRDI portal
The following pages link to Ordinal Completeness of Bimodal Provability Logic GLB (Q3019966):
Displaying 5 items.
- The polytopologies of transfinite provability logic (Q2449857) (← links)
- Derived topologies on ordinals and stationary reflection (Q4644955) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Topological Interpretations of Provability Logic (Q5255798) (← links)
- A topological completeness theorem for transfinite provability logic (Q6103511) (← links)
