A Topological Study of the Closed Fragment of GLP
From MaRDI portal
Publication:3094148
DOI10.1093/logcom/exp043zbMath1250.03119OpenAlexW2145828499MaRDI QIDQ3094148
Publication date: 21 October 2011
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exp043
Related Items
Models of transfinite provability logic, Deducibility and independence in Beklemishev's autonomous provability calculus, The omega-rule interpretation of transfinite provability logic, Provability and interpretability logics with restricted realizations, Reflection calculus and conservativity spectra, On provability logics with linearly ordered modalities, The polytopologies of transfinite provability logic, Derived topologies on ordinals and stationary reflection, STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES, Topological Interpretations of Provability Logic, MÜNCHHAUSEN PROVABILITY