Pages that link to "Item:Q490656"
From MaRDI portal
The following pages link to Topological completeness of the provability logic GLP (Q490656):
Displaying 13 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)
- The polytopologies of transfinite provability logic (Q2449857) (← links)
- Deducibility and independence in Beklemishev's autonomous provability calculus (Q2672664) (← links)
- The intuitionistic temporal logic of dynamical systems (Q4580328) (← links)
- Derived topologies on ordinals and stationary reflection (Q4644955) (← links)
- STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES (Q4977222) (← links)
- MÜNCHHAUSEN PROVABILITY (Q5015723) (← links)
- Topological Interpretations of Provability Logic (Q5255798) (← links)
- A topological completeness theorem for transfinite provability logic (Q6103511) (← links)
- COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES (Q6123584) (← links)
