78 citations to https://www.mathnet.ru/rus/rm1401
  1. Montalban A., Walsh J., “On the Inevitability of the Consistency Operator”, J. Symb. Log., 84:1 (2019), 205–225  crossref  mathscinet  zmath  isi  scopus
  2. Kolmakov E., Beklemishev L., “Axiomatization of Provable N-Provability”, J. Symb. Log., 84:2 (2019), 849–869  crossref  mathscinet  isi  scopus
  3. Nicolai C., Piazza M., “the Implicit Commitment of Arithmetical Theories and Its Semantic Core”, Erkenntnis, 84:4 (2019), 913–937  crossref  mathscinet  isi
  4. Cieslinski C., “Minimalism and the Generalisation Problem: on Horwich'S Second Solution”, Synthese, 195:3, SI (2018), 1077–1101  crossref  mathscinet  zmath  isi
  5. Heck Jr. Richard G., “The Logical Strength of Compositional Principles”, Notre Dame J. Form. Log., 59:1 (2018), 1–33  crossref  mathscinet  zmath  isi  scopus
  6. Nicolai C., Rossi L., “Principles For Object-Linguistic Consequence: From Logical to Irreflexive”, J. Philos. Log., 47:3 (2018), 549–577  crossref  mathscinet  zmath  isi
  7. Л. Д. Беклемишев, “Исчисление для схем рефлексии и спектры консервативности”, УМН, 73:4(442) (2018), 3–52  mathnet  crossref  mathscinet  zmath  adsnasa  elib; L. D. Beklemishev, “Reflection calculus and conservativity spectra”, Russian Math. Surveys, 73:4 (2018), 569–613  crossref  isi
  8. Murzi J., Rossi L., “Reflection Principles and the Liar in Context”, Philos. Impr., 18:15 (2018), 1–18  isi
  9. Berger G., Beklemishev L.D., Tompits H., “A Many-Sorted Variant of Japaridze'S Polymodal Provability Logic”, Log. J. IGPL, 26:5 (2018), 505–538  crossref  mathscinet  isi  scopus
  10. Chao C., Seraji P., “Godel'S Second Incompleteness Theorem For SIGMA(N)-Definable Theories”, Log. J. IGPL, 26:2 (2018), 255–257  crossref  mathscinet  isi  scopus
Предыдущая
1
2
3
4
5
6
7
8
Следующая