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 (11)

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

This page was built for publication: A Topological Study of the Closed Fragment of GLP