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 18 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)
- The analytical completeness of Dzhaparidze's polymodal logics (Q685073) (← links)
- Transductions in arithmetic (Q904144) (← links)
- Finitistic proofs of 0-1 laws for fragments of second-order logic (Q1351145) (← links)
- On the positive fragment of the polymodal provability logic GLP (Q2435945) (← links)
- Linear $ \mathrm{GLP}$-algebras and their elementary theories (Q2966735) (← links)
- (Q3025175) (← links)
- A Topological Study of the Closed Fragment of GLP (Q3094148) (← links)
- The Henkin Sentence (Q3454817) (← links)
- Closed Fragments of Provability Logics of Constructive Theories (Q3617381) (← links)
- An inside view of EXP; or, The closed fragment of the provability logic of I<i>Δ</i><sub>0</sub> + <i>Ω</i><sub>1</sub> with a prepositional constant for EXP (Q4008752) (← links)
- Topological Interpretations of Provability Logic (Q5255798) (← links)
- Models of transfinite provability logic (Q5300077) (← links)
- Reflection calculus and conservativity spectra (Q5377088) (← links)
