61 citations to 10.1016/j.apal.2003.11.030 (Crossref Cited-By Service)
  1. David Fernández Duque, Joost J. Joosten, 7318, How the World Computes, 2012, 212  crossref
  2. Lev D. Beklemishev, Logic Colloquium '02, 2017, 75  crossref
  3. David Fernández-Duque, Konstnatinos Papafilippou, Joost J. Joosten, 13137, Logical Foundations of Computer Science, 2022, 52  crossref
  4. ANTONIO MONTALBÁN, JAMES WALSH, “ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR”, J. symb. log., 84, № 1, 2019, 205  crossref
  5. Lev Beklemishev, David Gabelaia, 4, Leo Esakia on Duality in Modal and Intuitionistic Logics, 2014, 257  crossref
  6. Sergei Artemov, 3, Handbook of Modal Logic, 2007, 927  crossref
  7. David Fernández-Duque, Joost J. Joosten, “Hyperations, Veblen progressions and transfinite iteration of ordinal functions”, Annals of Pure and Applied Logic, 164, № 7-8, 2013, 785  crossref
  8. Georg Moser, “Ackermann’s substitution method (remixed)”, Annals of Pure and Applied Logic, 142, № 1-3, 2006, 1  crossref
  9. Fedor N Pakhomov, “Undecidability of the elementary theory of the semilattice of GLP-words”, Sb. Math., 203, № 8, 2012, 1211  crossref
  10. Фeдор Николаевич Пахомов, Fedor Nikolaevich Pakhomov, “Неразрешимость элементарной теории полурешетки $\mathrm{GLP}$-слов”, Матем. сб., 203, № 8, 2012, 141  crossref
Предыдущая
1
2
3
4
5
6
7
Следующая