Kripke semantics for provability logic GLP
From MaRDI portal
Publication:636316
DOI10.1016/j.apal.2009.06.011zbMath1223.03046OpenAlexW2010855309MaRDI QIDQ636316
Publication date: 26 August 2011
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2009.06.011
Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items
On the reduction property for GLP-algebras ⋮ Positive provability logic for uniform reflection principles ⋮ A topological completeness theorem for transfinite provability logic ⋮ The omega-rule interpretation of transfinite provability logic ⋮ Linear $ \mathrm{GLP}$-algebras and their elementary theories ⋮ Provability and interpretability logics with restricted realizations ⋮ On the positive fragment of the polymodal provability logic GLP ⋮ On provability logics with linearly ordered modalities ⋮ The polytopologies of transfinite provability logic ⋮ Derived topologies on ordinals and stationary reflection ⋮ A simplified proof of arithmetical completeness theorem for provability logic GLP ⋮ Interpolation properties for provability logics GL and GLP ⋮ Topological Interpretations of Provability Logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Provability algebras and proof-theoretic ordinals. I
- Reflection principles and provability algebras in formal arithmetic
- On strong provability predicates and the associated modal logics
- A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic
