7 citations · 19 across the 17 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
math.LO2016
Notes on a reduction property for GLP-algebras
L. D. Beklemishev
We consider some natural generalizations to the class of all GLP-algebras of the so-called reduction property for reflection algebras in arithmetic. An analogue of this property is…
math.LO2016★ 1 cited
Some abstract versions of Gödel's second incompleteness theorem based on non-classical logics
Lev Beklemishev, Daniyar Shamkanov
We study abstract versions of Gödel's second incompleteness theorem and formulate generalizations of Löb's derivability conditions that work for logics weaker than the classical on…
math.LO2016
A Many-Sorted Variant of Japaridze's Polymodal Provability Logic
Gerald Berger, Lev D. Beklemishev, Hans Tompits
We consider a many-sorted variant of Japaridze's polymodal provability logic . In this variant, which is denoted , propositional variables are assi…