scientific article
From MaRDI portal
Publication:3081639
zbMath1223.03047MaRDI QIDQ3081639
Guram Bezhanishvili, Thomas F. III Icard, Lev D. Beklemishev
Publication date: 9 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
reflection principletopological semanticstopological completenessbimodal provability logic GLBpolymodal provability logic GLP
Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items (8)
On the reduction property for GLP-algebras ⋮ Reflection and indescribability in the constructible universe ⋮ A topological completeness theorem for transfinite provability logic ⋮ The polytopologies of transfinite provability logic ⋮ Derived topologies on ordinals and stationary reflection ⋮ More on \(d\)-logics of subspaces of the rational numbers ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS ⋮ Topological Interpretations of Provability Logic
This page was built for publication:
