14 citations to 10.1305/ndjfl/1093634729 (Crossref Cited-By Service)
  1. F N Pakhomov, “Linear $ \mathrm{GLP}$-algebras and their elementary theories”, Izv. Math., 80, no. 6, 2016, 1159  crossref
  2. Fedor Nikolaevich Pakhomov, “Линейные $\mathrm{GLP}$-алгебры и их элементарные теории”, Известия Российской академии наук. Серия математическая, 80, no. 6, 2016, 173  crossref
  3. Лев Дмитриевич Беклемишев, Lev Dmitrievich Beklemishev, “Схемы рефлексии и алгебры доказуемости в формальной арифметике”, УМН, 60, no. 2, 2005, 3  crossref
  4. Sergei Artemov, 3, Handbook of Modal Logic, 2007, 927  crossref
  5. Antti Kuusisto, “Second-order propositional modal logic and monadic alternation hierarchies”, Annals of Pure and Applied Logic, 166, no. 1, 2015, 1  crossref
  6. Bartosz Bednarczyk, Stephane Demri, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, 1  crossref
  7. Sergei Artemov, 5, Mathematical Problems from Applied Logic II, 2007, 1  crossref
  8. Sergei N. Artemov, Lev D. Beklemishev, 13, Handbook of Philosophical Logic, 2nd Edition, 2005, 189  crossref
  9. Fedor N Pakhomov, “Undecidability of the elementary theory of the semilattice of GLP-words”, Sb. Math., 203, no. 8, 2012, 1211  crossref
  10. V. Yu. Shavrukov, “Undecidability in diagonalizable algebras”, J. symb. log., 62, no. 1, 1997, 79  crossref
1
2
Next