21 citations to 10.1093/logcom/exi038 (Crossref Cited-By Service)
  1. Lev Beklemishev, 6618, Logic, Language, and Computation, 2011, 1  crossref
  2. Lev D. Beklemishev, David Fernández-Duque, Joost J. Joosten, “On Provability Logics with Linearly Ordered Modalities”, Stud Logica, 102, № 3, 2014, 541  crossref
  3. Daniyar Shamkanov, “Nested sequents for provability logic GLP: FIG. 1.”, Logic Jnl IGPL, 23, № 5, 2015, 789  crossref
  4. Lev D. Beklemishev, 10388, Logic, Language, Information, and Computation, 2017, 48  crossref
  5. Fedor N Pakhomov, “Undecidability of the elementary theory of the semilattice of GLP-words”, Sb. Math., 203, № 8, 2012, 1211  crossref
  6. Volker Halbach, Albert Visser, The Life and Work of Leon Henkin, 2014, 249  crossref
  7. E. V. Dashkov, “On the positive fragment of the polymodal provability logic GLP”, Math Notes, 91, № 3-4, 2012, 318  crossref
  8. Фeдор Николаевич Пахомов, Fedor Nikolaevich Pakhomov, “Неразрешимость элементарной теории полурешетки $\mathrm{GLP}$-слов”, Матем. сб., 203, № 8, 2012, 141  crossref
  9. Lev D. Beklemishev, 10703, Logical Foundations of Computer Science, 2018, 91  crossref
  10. Lev D. Beklemishev, “Kripke semantics for provability logic GLP”, Annals of Pure and Applied Logic, 161, № 6, 2010, 756  crossref
Предыдущая
1
2
3
Следующая