Pages that link to "Item:Q636316"

The following pages link to Kripke semantics for provability logic GLP (Q636316):

Displaying 20 items.

• 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)
• Topological completeness of the provability logic GLP (Q490656) (← links)
• The analytical completeness of Dzhaparidze's polymodal logics (Q685073) (← links)
• Kripke semantics and proof systems for combining intuitionistic logic and classical logic (Q690929) (← links)
• The omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
• On the reduction property for GLP-algebras (Q2358595) (← 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)
• Linear $ \mathrm{GLP}$-algebras and their elementary theories (Q2966735) (← links)
• Nested sequents for provability logic GLP: FIG. 1. (Q4644600) (← links)
• Derived topologies on ordinals and stationary reflection (Q4644955) (← links)
• A many-sorted variant of Japaridze’s polymodal provability logic (Q5095650) (← links)
• Topological Interpretations of Provability Logic (Q5255798) (← links)
• A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic (Q5696302) (← links)
• A topological completeness theorem for transfinite provability logic (Q6103511) (← links)
• On provability logics of Niebergall arithmetic (Q6568709) (← links)