David Fernández-Duque, “The polytopologies of transfinite provability logic”, Arch. Math. Logic, 53, № 3-4, 2014, 385
E. A. Kolmakov, L. D. Beklemishev, “Axiomatizing Provable n-Provability”, Dokl. Math., 98, № 3, 2018, 582
ANTON FREUND, DAVIDE MANCA, “WEAK WELL ORDERS AND FRAÏSSÉ’S CONJECTURE”, J. symb. log., 2023, 1
Ilya Shapirovsky, “Satisfiability Problems on Sums of Kripke Frames”, ACM Trans. Comput. Logic, 23, № 3, 2022, 1
Gyesik Lee, “A comparison of well-known ordinal notation systems for ε0”, Annals of Pure and Applied Logic, 147, № 1-2, 2007, 48
Lev D. Beklemishev, “Kripke semantics for provability logic GLP”, Annals of Pure and Applied Logic, 161, № 6, 2010, 756
David Fernández-Duque, Joost J. Joosten, “Models of transfinite provability logic”, J. symb. log., 78, № 2, 2013, 543
Andrés Cordón-Franco, F. Félix Lara-Martín, “Semi-honest subrecursive degrees and the collection rule in arithmetic”, Arch. Math. Logic, 63, № 1-2, 2024, 163
M. V. Svyatlovskii, “Axiomatization and Polynomial Solvability of Strictly Positive Fragments of Certain Modal Logics”, Math Notes, 103, № 5-6, 2018, 952
T. Icard, “A Topological Study of the Closed Fragment of GLP”, Journal of Logic and Computation, 21, № 4, 2011, 683