Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
LINDSTRöM, PER
1996.
Provability logic—a short introduction.
Theoria,
Vol. 62,
Issue. 1-2,
p.
19.
Japaridze, Giorgi
and
de Jongh, Dick
1998.
Handbook of Proof Theory.
Vol. 137,
Issue. ,
p.
475.
Beklemishev, Lev D.
2004.
Provability algebras and proof-theoretic ordinals, I.
Annals of Pure and Applied Logic,
Vol. 128,
Issue. 1-3,
p.
103.
Беклемишев, Лев Дмитриевич
and
Beklemishev, Lev Dmitrievich
2005.
Схемы рефлексии и алгебры доказуемости в формальной арифметике.
Успехи математических наук,
Vol. 60,
Issue. 2,
p.
3.
Artemov, Sergei N.
and
Beklemishev, Lev D.
2005.
Handbook of Philosophical Logic, 2nd Edition.
Vol. 13,
Issue. ,
p.
189.
Carlucci, Lorenzo
2005.
Worms, gaps, and hydras.
MLQ,
Vol. 51,
Issue. 4,
p.
342.
Beklemishev, Lev
and
Visser, Albert
2006.
Mathematical Problems from Applied Logic I.
Vol. 4,
Issue. ,
p.
77.
Artemov, Sergei
2007.
Handbook of Modal Logic.
Vol. 3,
Issue. ,
p.
927.
Artemov, Sergei
2007.
Mathematical Problems from Applied Logic II.
Vol. 5,
Issue. ,
p.
1.
Beklemishev, Lev D.
2010.
Kripke semantics for provability logic GLP.
Annals of Pure and Applied Logic,
Vol. 161,
Issue. 6,
p.
756.
Icard, T.
2011.
A Topological Study of the Closed Fragment of GLP.
Journal of Logic and Computation,
Vol. 21,
Issue. 4,
p.
683.
Beklemishev, L. D.
2011.
A simplified proof of arithmetical completeness theorem for provability logic GLP.
Proceedings of the Steklov Institute of Mathematics,
Vol. 274,
Issue. 1,
p.
25.
Shamkanov, Daniyar S.
2011.
Interpolation properties for provability logics GL and GLP.
Proceedings of the Steklov Institute of Mathematics,
Vol. 274,
Issue. 1,
p.
303.
Beklemishev, Lev
2011.
Logic, Language, and Computation.
Vol. 6618,
Issue. ,
p.
1.
Icard, Thomas F.
and
Joosten, Joost J.
2012.
Provability and Interpretability Logics with Restricted Realizations.
Notre Dame Journal of Formal Logic,
Vol. 53,
Issue. 2,
Дашков, Евгений Владимирович
and
Dashkov, Evgenij Vladimirovich
2012.
О позитивном фрагменте полимодальной логики доказуемости $\mathbf{GLP}$.
Математические заметки,
Vol. 91,
Issue. 3,
p.
331.
Пахомов, Фeдор Николаевич
and
Pakhomov, Fedor Nikolaevich
2012.
Неразрешимость элементарной теории полурешетки $\mathrm{GLP}$-слов.
Математический сборник,
Vol. 203,
Issue. 8,
p.
141.
Pakhomov, Fedor N
2012.
Undecidability of the elementary theory of the semilattice of GLP-words.
Sbornik: Mathematics,
Vol. 203,
Issue. 8,
p.
1211.
Dashkov, E. V.
2012.
On the positive fragment of the polymodal provability logic GLP.
Mathematical Notes,
Vol. 91,
Issue. 3-4,
p.
318.
Beklemishev, Lev
and
Gabelaia, David
2013.
Topological completeness of the provability logic GLP.
Annals of Pure and Applied Logic,
Vol. 164,
Issue. 12,
p.
1201.