Pages that link to "Item:Q5287692"

The following pages link to On strong provability predicates and the associated modal logics (Q5287692):

Displaying 25 items.

• On elementary theories of ordinal notation systems based on reflection principles (Q281010) (← links)
• Positive provability logic for uniform reflection principles (Q392274) (← links)
• 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 omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
• Axiomatizing provable \(n\)-provability (Q1732059) (← links)
• Provability algebras and proof-theoretic ordinals. I (Q1877092) (← links)
• Conservativity spectra and Joosten-Fernández model (Q2079167) (← links)
• On the positive fragment of the polymodal provability logic GLP (Q2435945) (← links)
• The polytopologies of transfinite provability logic (Q2449857) (← links)
• A simplified proof of arithmetical completeness theorem for provability logic GLP (Q2510758) (← links)
• Interpolation properties for provability logics GL and GLP (Q2510774) (← links)
• Deducibility and independence in Beklemishev's autonomous provability calculus (Q2672664) (← links)
• Linear $ \mathrm{GLP}$-algebras and their elementary theories (Q2966735) (← links)
• Derived topologies on ordinals and stationary reflection (Q4644955) (← links)
• MÜNCHHAUSEN PROVABILITY (Q5015723) (← links)
• HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC (Q5024504) (← links)
• AXIOMATIZATION OF PROVABLE n-PROVABILITY (Q5222538) (← links)
• Topological Interpretations of Provability Logic (Q5255798) (← links)
• PREDICATIVITY THROUGH TRANSFINITE REFLECTION (Q5359565) (← links)
• Reflection calculus and conservativity spectra (Q5377088) (← links)
• On provability logics of Niebergall arithmetic (Q6568709) (← links)