Annals of Pure and Applied Logicжурнал

Статьи, опубликованные в журнале

---

• • 2022 Infinitary action logic with exponentiation
  • Kuznetsov Stepan L., Speranski Stanislav O.
  • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 173, № 2 DOI
• 
  • 2021 The full basis theorem does not imply analytic wellordering
  • Kanovei Vladimir, Lyubetsky Vassily
  • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 172, № 4 DOI
• 
  • 2019 Existential monadic second order logic of undirected graphs: The Le Bars conjecture is false
  • Popova S.N., Zhukovskii M.E.
  • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 170, № 4, с. 505-514
• 
  • 2018 Definable E0 classes at arbitrary projective levels
  • Kanovei Vladimir, Lyubetsky Vassily
  • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 169, № 9, с. 851-871 DOI
• 
  • 2016 Counterexamples to countable-section Π21 uniformization and Π31 separation
  • Kanovei V.G., Lyubetsky V.A.
  • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 167, № 3, с. 262-283 DOI
• 
  • 2014 Logical omniscience as infeasibility
  • Artemov Sergei, Kuznets Roman
  • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 165, № 1, с. 6-25 DOI
• 
  • 2014 Positive provability logic for uniform reflection principles
  • Beklemishev L.
  • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 165, № 1, с. 82-105 DOI
• 
  • 2013 Topological completeness of the provability logic GLP
  • Beklemishev L., Gabelaia D.
  • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 164, № 12, с. 1201-1223 DOI
• 
  • 2013 Unification and admissible rules for paraconsistent minimal Johanssons’ logic J and positive intuitionistic logic IPC^+
  • Odintsov Sergei, Rybakov Vladimir
  • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 164, № 7-8, с. 771-784 DOI
• 
  • 2012 Special Issue The Symposium on Logical Foundations of Computer Science 2009 Preface
  • Artemov Sergei, Nerode Anil
  • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 163, № 7, с. 743-744 DOI
• 
  • 2010 Kripke semantics for provability logic GLP
  • Beklemishev L.D.
  • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 161, № 6, с. 756-774 DOI
• 
  • 2010 Special Issue Dedicated to Nikolai Alexandrovich Shanin on the occasion of his 90th birthday Preface
  • Artemov Sergei, Matiyasevich Yuri, Mints Grigori, Slissenko Anatol
  • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 162, № 3, с. 173-174 DOI
• 
  • 2010 Unprovability threshold for planar graph minor theorem
  • Bovykin Andrey
  • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 162, № 3, с. 175-181 DOI
• 
  • 2009 Exact unprovability results for compound well-quasi-ordered combinatorial classes
  • Bovykin Andrey
  • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 157, № 2-3, с. 77-84 DOI
• 
  • 2009 Festschrift on the occasion of Franco Montagna's 60th birthday Preface
  • Artemov Sergei
  • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 161, № 2, с. 119-120 DOI
• 
  • 2009 Special Issue Papers presented at the Symposium on Logical Foundations of Computer Science 2007 Dedicated to Anil Nerode on the occasion of his 75th birthday Preface
  • Artemov Sergei
  • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 161, № 3, с. 251-252 DOI
• 
  • 2006 Effective bounds for convergence, descriptive complexity, and natural examples of simple and hypersimple sets
  • Muchnik Andrej, Semenov Alexei
  • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 141, № 3, с. 437-441 DOI
• 
  • 2006 Papers presented at the Second St. Petersburg Days of Logic and Computability Conference on the occasion of the centennial of Andrey Andreevich Markov, Jr. - Preface
  • Matiyasevich Y., Artemov S.
  • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 141, № 3, с. 307-307 DOI
• 
  • 2005 On the limit existence principles in elementary arithmetic and Σ^0_n-consequences of theories
  • Beklemishev L.D., Visser A.
  • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 136, № 1-2, с. 56-74 DOI
• 
  • 2005 Special Issue - Papers presented at the 9th Workshop on Logic, Language, Information and Computation (WoLLIC'2002) - Preface
  • de Queiroz R., Poizat B., Artemov S.
  • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 134, № 1, с. 1-4 DOI
• 
  • 2004 Provability algebras and proof-theoretic ordinals. I
  • Beklemishev L.D.
  • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 128, № 1-3, с. 103-123 DOI
• 
  • 2004 Special Issue - Provinces of logic determined - Essays in the memory of Alfred Tarski - Part I, II and III - Editorial
  • Adamowicz Z., Artemov S., Niwinski D., Orlowska E., Romanowska A., Wolenski J.
  • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 126, № 1-3, с. 3-4 DOI
• 
  • 2002 Arithmetic complexity of the predicate logics of certain complete arithmetic theories
  • Plisko V.E.
  • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 113, с. 243-259
• 
  • 2002 The single-conclusion proof logic and inference rules specification
  • Krupski Vladimir N.
  • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 113, № 1-3, с. 181-206
• 
  • 2001 Logic of proofs and provability
  • Yavorskaya (Sidon) T.
  • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 113, № 1, с. 345-372