E-LIB Suche - Ergebnisse für: Beklemishev, Lev

1

Reflection algebras and conservation results for theories o..:

Beklemishev, Lev D. ; Pakhomov, Fedor N.
Annals of Pure and Applied Logic. 173 (2022) 5 - p. 103093 , 2022

Link: https://doi.org/10.1016/..

2

AXIOMATIZATION OF PROVABLE n-PROVABILITY:

KOLMAKOV, EVGENY ; BEKLEMISHEV, LEV
The Journal of Symbolic Logic. 84 (2019) 2 - p. 849-869 , 2019

Link: https://www.jstor.org/st..

3

2019 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLI..:

Beklemishev, Lev
The Bulletin of Symbolic Logic. 25 (2019) 4 - p. 481-530 , 2019

Link: https://www.jstor.org/st..

4

AXIOMATIZATION OF PROVABLE n-PROVABILITY:

KOLMAKOV, EVGENY ; BEKLEMISHEV, LEV
The Journal of Symbolic Logic. 84 (2019) 2 - p. 849-869 , 2019

Link: https://doi.org/10.1017/..

5

A many-sorted variant of Japaridze's polymodal provability ..:

Berger, Gerald ; Beklemishev, Lev D ; Tompits, Hans
Logic Journal of the IGPL. 26 (2018) 5 - p. 505-538 , 2018

Link: https://doi.org/10.1093/..

6

Guest Editorial: Computer Science Symposium in Russia:

Beklemishev, Lev
Theory of Computing Systems. 61 (2017) 2 - p. 462-463 , 2017

Link: https://doi.org/10.1007/..

7

Franco Montagna's Work on Provability Logic and Many-valued..:

Beklemishev, Lev ; Flaminio, Tommaso
Studia Logica: An International Journal for Symbolic Logic. 104 (2016) 1 - p. 1-46 , 2016

Link: http://www.jstor.org/sta..

8

Preface:

Abraham, Uri ; Beklemishev, Lev ; D'Aquino, Paola.
Annals of Pure and Applied Logic. 167 (2016) 10 - p. 865-867 , 2016

Link: https://doi.org/10.1016/..

9

Franco Montagna's Work on Provability Logic and Many-valued..:

Beklemishev, Lev ; Flaminio, Tommaso
Studia Logica. 104 (2016) 1 - p. 1-46 , 2016

Link: https://doi.org/10.1007/..

10

Computer Science -- Theory and Applications

10th International Computer Science Symposium in Russia, CS... Lecture Notes in Computer Science ; 9139;SpringerLink, Bücher

Beklemishev, Lev D. ; Musatov, Daniil V. , 2015

Link: https://doi.org/10.1007/..

11

Fields of Logic and Computation II

Essays Dedicated to Yuri Gurevich on the Occasion of His 75... Lecture Notes in Computer Science ; 9300;SpringerLink, Bücher

Beklemishev, Lev D. ; Blaß, Andreas ; Finkbeiner, Bernd.. - 1st ed. 2015 . , 2015

Link: https://doi.org/10.1007/..

12

On Provability Logics with Linearly Ordered Modalities:

Beklemishev, Lev D. ; Fernández-Duque, David ; Joosten, Joost J.
Studia Logica: An International Journal for Symbolic Logic. 102 (2014) 3 - p. 541-566 , 2014

Link: https://www.jstor.org/st..

13

Editors' foreword:

Beklemishev, Lev ; De Queiroz, Ruy ; Scedrov, Andre
Journal of Computer and System Sciences. 80 (2014) 6 - p. 1037 , 2014

Link: https://doi.org/10.1016/..

14

Positive provability logic for uniform reflection principle:

Beklemishev, Lev
Annals of Pure and Applied Logic. 165 (2014) 1 - p. 82-105 , 2014

Link: https://doi.org/10.1016/..

15

On Provability Logics with Linearly Ordered Modalities:

Beklemishev, Lev D. ; Fernández-Duque, David ; Joosten, Joost J.
Studia Logica. 102 (2013) 3 - p. 541-566 , 2013

Link: https://doi.org/10.1007/..