A Topological Study of the Closed Fragment of GLP

DOI10.1093/logcom/exp043zbMath1250.03119OpenAlexW2145828499MaRDI QIDQ3094148

Thomas F. III Icard

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

zbMATH Keywords

canonical modelprovabilty logic

Mathematics Subject Classification ID

Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

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