Pages that link to "Item:Q456968"
From MaRDI portal
The following pages link to On provability logics with linearly ordered modalities (Q456968):
Displaying 20 items.
- On the complexity of the closed fragment of Japaridze's provability logic (Q482919) (← links)
- Turing-Taylor expansions for arithmetic theories (Q514512) (← links)
- The analytical completeness of Dzhaparidze's polymodal logics (Q685073) (← links)
- Modalities in linear logic weaker than the exponential ``of course'': Algebraic and relational semantics (Q1337609) (← links)
- The omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
- Reflection algebras and conservation results for theories of iterated truth (Q2120976) (← links)
- Hyperarithmetical worm battles (Q2151396) (← links)
- Decidability of order-based modal logics (Q2361346) (← links)
- The polytopologies of transfinite provability logic (Q2449857) (← links)
- Deducibility and independence in Beklemishev's autonomous provability calculus (Q2672664) (← links)
- On constructive models of theories with linear Rudin-Keisler ordering (Q2907056) (← links)
- Linear $ \mathrm{GLP}$-algebras and their elementary theories (Q2966735) (← links)
- Well-orders in the transfinite Japaridze algebra (Q4644499) (← links)
- Derived topologies on ordinals and stationary reflection (Q4644955) (← links)
- MÜNCHHAUSEN PROVABILITY (Q5015723) (← links)
- A many-sorted variant of Japaridze’s polymodal provability logic (Q5095650) (← links)
- Models of transfinite provability logic (Q5300077) (← links)
- PREDICATIVITY THROUGH TRANSFINITE REFLECTION (Q5359565) (← links)
- Reflection calculus and conservativity spectra (Q5377088) (← links)
- A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic (Q5696302) (← links)
