Lev D. Beklemishev

43 papers B 4C 2Misc 2Journal 31Unranked 2
YearRankTypeTitle / Venue / Authors
2022 J jnl
Reflection algebras and conservation results for theories of iterated truth.
Ann. Pure Appl. Log.
Lev D. Beklemishev, Fedor Pakhomov
2019 J jnl
Axiomatization of Provable n-Provability.
J. Symb. Log.
Evgeny Kolmakov, Lev D. Beklemishev
2018 Misc conf
A Universal Algebra for the Variable-Free Fragment of $${\mathrm {RC}^\nabla }$$ RC ∇.
LFCS
Lev D. Beklemishev
2018 J jnl
A many-sorted variant of Japaridze's polymodal provability logic.
Log. J. IGPL
Gerald Berger, Lev D. Beklemishev, Hans Tompits
2017 J jnl
Guest Editorial: Computer Science Symposium in Russia.
Theory Comput. Syst.
Lev D. Beklemishev
2017 C conf
On the Reflection Calculus with Partial Conservativity Operators.
WoLLIC
Lev D. Beklemishev
2016 B ed.
Advances in Modal Logic 11, proceedings of the 11th conference on "Advances in Modal Logic," held in Budapest, Hungary, August 30 - September 2, 2016
Advances in Modal Logic
Lev D. Beklemishev, Stéphane Demri, András Maté
2016 J jnl
Franco Montagna's Work on Provability Logic and Many-valued Logic.
Stud Logica
Lev D. Beklemishev, Tommaso Flaminio
2016 J jnl
Preface.
Ann. Pure Appl. Log.
Uri Abraham, Lev D. Beklemishev, Paola D'Aquino, Marcus Tressl
2015 J jnl
A note on strictly positive logics and word rewriting systems.
CoRR
Lev D. Beklemishev
2015 Misc ed.
Computer Science - Theory and Applications - 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings
CSR
Lev D. Beklemishev, Daniil V. Musatov
2015 — ed.
Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Fields of Logic and Computation II
Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
2014 J jnl
Editors' foreword.
J. Comput. Syst. Sci.
Lev D. Beklemishev, Ruy J. G. B. de Queiroz, Andre Scedrov
2014 J jnl
On Provability Logics with Linearly Ordered Modalities.
Stud Logica
Lev D. Beklemishev, David Fernández-Duque, Joost J. Joosten
2014 J jnl
Positive provability logic for uniform reflection principles.
Ann. Pure Appl. Log.
Lev D. Beklemishev
2014 J jnl
Propositional primal logic with disjunction.
J. Log. Comput.
Lev D. Beklemishev, Yuri Gurevich
2013 J jnl
Topological completeness of the provability logic GLP.
Ann. Pure Appl. Log.
Lev D. Beklemishev, David Gabelaia
2012 B conf
Calibrating Provability Logic: From Modal Logic to Reflection Calculus.
Advances in Modal Logic
Lev D. Beklemishev
2012 J jnl
Foreword.
Stud Logica
Lev D. Beklemishev, Guram Bezhanishvili, Daniele Mundici, Yde Venema
2011 C ed.
Logic, Language, Information and Computation - 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings
WoLLIC
Lev D. Beklemishev, Ruy J. G. B. de Queiroz
2011 J jnl
Proof and Computation.
J. Log. Comput.
Sergei I. Adian, Lev D. Beklemishev, Albert Visser
2010 B ed.
Advances in Modal Logic 8, papers from the eighth conference on "Advances in Modal Logic," held in Moscow, Russia, 24-27 August 2010
Advances in Modal Logic
Lev D. Beklemishev, Valentin Goranko, Valentin B. Shehtman
2010 J jnl
Kripke semantics for provability logic GLP.
Ann. Pure Appl. Log.
Lev D. Beklemishev
2009 — conf
Ordinal Completeness of Bimodal Provability Logic GLB.
TbiLLC
Lev D. Beklemishev
2005 J jnl
A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic.
J. Log. Comput.
Lev D. Beklemishev, Joost J. Joosten, Marco Vervoort
2005 J jnl
Editorial.
J. Log. Comput.
Sergei I. Adian, Matthias Baaz, Lev D. Beklemishev
2005 J jnl
On the limit existence principles in elementary arithmetic and Sigma
Ann. Pure Appl. Log.
Lev D. Beklemishev, Albert Visser
2004 J jnl
Provability algebras and proof-theoretic ordinals, I.
Ann. Pure Appl. Log.
Lev D. Beklemishev
2003 J jnl
On the induction schema for decidable predicates.
J. Symb. Log.
Lev D. Beklemishev
2003 J jnl
Proof-theoretic analysis by iterated reflection.
Arch. Math. Log.
Lev D. Beklemishev
2002 J jnl
On the query complexity of finding a local maximum point.
Inf. Process. Lett.
A. L. Rastsvetaev, Lev D. Beklemishev
1999 B conf
Open Least Element Principle and Bounded Query Computation.
CSL
Lev D. Beklemishev
1999 J jnl
Parameter Free Induction and Provably Total Computable Functions.
Theor. Comput. Sci.
Lev D. Beklemishev
1999 — book
Provability, complexity, grammars.
Lev D. Beklemishev, Mati Pentus, Nikolai K. Vereshchagin
1998 J jnl
A proof-theoretic analysis of collection.
Arch. Math. Log.
Lev D. Beklemishev
1997 J jnl
Induction Rules, Reflection Principles, and Provably Recursive Functions.
Ann. Pure Appl. Log.
Lev D. Beklemishev
1997 — conf
Parameter Free Induction and Reflection.
Kurt Gödel Colloquium
Lev D. Beklemishev
1996 J jnl
Bimodal Logics for Extensions of Arithmetical Theories.
J. Symb. Log.
Lev D. Beklemishev
1995 J jnl
Iterated Local Reflection Versus Iterated Consistency.
Ann. Pure Appl. Log.
Lev D. Beklemishev
1994 J jnl
On Bimodal Logics of Provability.
Ann. Pure Appl. Log.
Lev D. Beklemishev
1993 J jnl
On propositional quantifiers in provability logic.
Notre Dame J. Formal Log.
Sergei N. Artëmov, Lev D. Beklemishev
1993 J jnl
On the complexity of arithmetical interpretations of modal formulae.
Arch. Math. Log.
Lev D. Beklemishev
1991 J jnl
Provability logics for natural turing progressions of arithmetical theories.
Stud Logica
Lev D. Beklemishev