The following pages link to (Q3081639):
Displaying 15 items.
- On provability logics with linearly ordered modalities (Q456968) (← links)
- Topological completeness of the provability logic GLP (Q490656) (← links)
- Kripke semantics for provability logic GLP (Q636316) (← links)
- The analytical completeness of Dzhaparidze's polymodal logics (Q685073) (← links)
- Reflection and indescribability in the constructible universe (Q891070) (← links)
- More on \(d\)-logics of subspaces of the rational numbers (Q1762355) (← links)
- On the reduction property for GLP-algebras (Q2358595) (← links)
- The polytopologies of transfinite provability logic (Q2449857) (← links)
- A Topological Study of the Closed Fragment of GLP (Q3094148) (← links)
- Ordinal completeness of the Gödel-Löb modal system (Q3973061) (← links)
- Derived topologies on ordinals and stationary reflection (Q4644955) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Topological Interpretations of Provability Logic (Q5255798) (← links)
- Models of transfinite provability logic (Q5300077) (← links)
- A topological completeness theorem for transfinite provability logic (Q6103511) (← links)