ResearcherID Thomson Reuters  

Beklemishev, Lev D.
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: F-7814-2013
URL: http://www.researcherid.com/rid/F-7814-2013
My Institutions (more details)
Primary Institution:
Sub-org/Dept:
Role:
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  5  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: Franco Montagna's Work on Provability Logic and Many-valued Logic
 Author(s): Beklemishev, Lev; Flaminio, Tommaso
 Source: Studia Logica Volume: 104 Issue: 1 Pages: 1-46 Published: FEB 2016
 Times Cited: 0
 DOI: 10.1007/s11225-016-9654-3
added
17-Jan-17
2.  Title: Special Issue Logic Colloquium 2012 Preface
 Author(s): Abraham, Uri; Beklemishev, Lev; D'Aquino, Paola; et al.
 Source: Annals of Pure and Applied Logic Volume: 167 Issue: 10 Pages: 865-867 Published: OCT 2016
 Times Cited: 0
 DOI: 10.1016/j.apal.2016.05.002
added
17-Jan-17
3.  Title: On some slowly terminating term rewriting systems
 Author(s): Beklemishev, L. D.; Onoprienko, A. A.
 Source: Sbornik Mathematics Volume: 206 Issue: 9 Pages: 1173-1190 Published: 2015
 Times Cited: 0
 DOI: 10.1070/SM2015v206n09ABEH004493
added
17-Jan-17
4.  Title: 18th Workshop on Logic, Language, Information and Computation (WoLLIC 2011) Foreword
 Author(s): Beklemishev, Lev; De Queiroz, Ruy; Scedrov, Andre
 Source: Journal of Computer and System Sciences Volume: 80 Issue: 6 Pages: 1037 Published: SEP 2014
 Times Cited: 0
 DOI: 10.1016/j.jcss.2014.03.008
added
24-Sep-14
5.  Title: On Provability Logics with Linearly Ordered Modalities
 Author(s): Beklemishev, Lev D.; Fernandez-Duque, David; Joosten, Joost J.
 Source: Studia Logica Volume: 102 Issue: 3 Pages: 541-566 Published: JUN 2014
 Times Cited: 4
 DOI: 10.1007/s11225-013-9490-7
added
24-Sep-14
6.  Title: Positive provability logic for uniform reflection principles
 Author(s): Beklemishev, Lev
 Source: Annals of Pure and Applied Logic Volume: 165 Issue: 1 Pages: 82-105 Published: JAN 2014
 Times Cited: 0
 DOI: 10.1016/j.apal.2013.07.006
added
24-Sep-14
7.  Title: Propositional primal logic with disjunction
 Author(s): Beklemishev, Lev; Gurevich, Yuri
 Source: Journal of Logic and Computation Volume: 24 Issue: 1 Pages: 257-282 Published: FEB 2014
 Times Cited: 4
 DOI: 10.1093/logcom/exs018
added
24-Sep-14
8.  Title: Topological completeness of the provability logic GLP
 Author(s): Beklemishev, Lev; Gabelaia, David
 Source: Annals of Pure and Applied Logic Volume: 164 Issue: 12 Pages: 1201-1223 Published: DEC 2013
 Times Cited: 7
 DOI: 10.1016/j.apal.2013.06.008
added
24-Sep-14
9.  Title: Special issue dedicated to the memory of Leo Esakia Foreword
 Author(s): Beklemishev, Lev; Bezhanishvili, Guram; Mundici, Daniele; et al.
 Source: Studia Logica Volume: 100 Issue: 1-2 Pages: 1-7 Published: 2012
 Times Cited: 0
 DOI: 10.1007/s11225-012-9394-y
added
10-Jun-13
10.  Title: Special issue dedicated to the memory of Leo Esakia Foreword
 Author(s): Beklemishev, L.; Bezhanishvili, G.; Mundici, D.; et al.
 Source: Studia Logica Volume: 100 Issue: 1-2 Pages: 1-7 Published: 2012
 Times Cited: 0
 DOI: 10.1007/s11225-012-9394-y
added
10-Jun-13
publication(s)  
First Page Previous Page Page   of  5  Go Next Page Last Page
  Sort by:    Results per page: