3 citations to 10.1007/978-3-319-22156-4_9 (Crossref Cited-By Service)
  1. Lev Dmitrievich Beklemishev, “Исчисление для схем рефлексии и спектры консервативности”, Успехи математических наук, 73, № 4(442), 2018, 3  crossref
  2. L. D. Beklemishev, “Reflection calculus and conservativity spectra”, Russ. Math. Surv., 73, № 4, 2018, 569  crossref
  3. Mateusz ŁeŁyk, Carlo Nicolai, “Implicit commitment in a general setting”, Journal of Logic and Computation, 2023, exad025  crossref