Lev D. Beklemishev

Identifiers

• name variant Lev D. Beklemishev 0.60 · backfill

Papers (6)

1. A universal Kripke frame for the variable-free fragment of RC$^\nabla$ math.LO · 2018 · author #1
2. Reflection calculus and conservativity spectra math.LO · 2017 · author #1
3. A Many-Sorted Variant of Japaridze's Polymodal Provability Logic math.LO · 2016 · author #2
4. A note on strictly positive logics and word rewriting systems math.LO · 2015 · author #1
5. On provability logics with linearly ordered modalities math.LO · 2012 · author #1
6. Topological completeness of the provability logic GLP math.LO · 2011 · author #1

Mentions

• 1210.4809 #1 · backfill · confidence 0.70 Lev D. Beklemishev
• 1106.5693 #1 · backfill · confidence 0.70 Lev D. Beklemishev

Frequent Coauthors

• David Fern\'andez-Duque 1 shared papers
• David Gabelaia 1 shared papers
• Gerald Berger 1 shared papers
• Hans Tompits 1 shared papers
• Joost J. Joosten 1 shared papers