Pages that link to "Item:Q5696302"
From MaRDI portal
The following pages link to A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic (Q5696302):
Displaying 12 items.
- Provability and interpretability logics with restricted realizations (Q435232) (← links)
- On provability logics with linearly ordered modalities (Q456968) (← links)
- On the complexity of the closed fragment of Japaridze's provability logic (Q482919) (← links)
- Turing-Taylor expansions for arithmetic theories (Q514512) (← links)
- Kripke semantics for provability logic GLP (Q636316) (← links)
- Transductions in arithmetic (Q904144) (← links)
- On the positive fragment of the polymodal provability logic GLP (Q2435945) (← links)
- Linear $ \mathrm{GLP}$-algebras and their elementary theories (Q2966735) (← links)
- The Henkin Sentence (Q3454817) (← links)
- Topological Interpretations of Provability Logic (Q5255798) (← links)
- Models of transfinite provability logic (Q5300077) (← links)
- Reflection calculus and conservativity spectra (Q5377088) (← links)
