Pages that link to "Item:Q392274"
From MaRDI portal
The following pages link to Positive provability logic for uniform reflection principles (Q392274):
Displaying 18 items.
- On provability logics with linearly ordered modalities (Q456968) (← links)
- Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics (Q1668101) (← links)
- On the reflection calculus with partial conservativity operators (Q1685909) (← links)
- The omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
- A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\) (Q1709691) (← links)
- Modal companions of \(K4^+\) (Q2082262) (← links)
- Reflection algebras and conservation results for theories of iterated truth (Q2120976) (← links)
- The logic of Turing progressions (Q2176413) (← links)
- Deducibility and independence in Beklemishev's autonomous provability calculus (Q2672664) (← links)
- The intuitionistic temporal logic of dynamical systems (Q4580328) (← links)
- A consistency proof for some restrictions of Tait's reflection principles (Q4915225) (← links)
- REFLECTION RANKS AND ORDINAL ANALYSIS (Q5021919) (← links)
- A many-sorted variant of Japaridze’s polymodal provability logic (Q5095650) (← links)
- A Note on Strictly Positive Logics and Word Rewriting Systems (Q5214732) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS (Q5241233) (← links)
- Reflection calculus and conservativity spectra (Q5377088) (← links)
- AN ESCAPE FROM VARDANYAN’S THEOREM (Q6140187) (← links)
