Lev D. Beklemishev
Identifiers
- name variant Lev D. Beklemishev 0.60 · backfill
Papers (6)
- A universal Kripke frame for the variable-free fragment of RC$^\nabla$ math.LO · 2018 · author #1
- Reflection calculus and conservativity spectra math.LO · 2017 · author #1
- A Many-Sorted Variant of Japaridze's Polymodal Provability Logic math.LO · 2016 · author #2
- A note on strictly positive logics and word rewriting systems math.LO · 2015 · author #1
- On provability logics with linearly ordered modalities math.LO · 2012 · author #1
- Topological completeness of the provability logic GLP math.LO · 2011 · author #1
Mentions
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