Lev D Beklemishev


Ontology type: schema:Person     


Person Info

NAME

Lev D

SURNAME

Beklemishev

Publications in SciGraph latest 50 shown

  • 2018 A Note on Strictly Positive Logics and Word Rewriting Systems in LARISA MAKSIMOVA ON IMPLICATION, INTERPOLATION, AND DEFINABILITY
  • 2017-11-28 A Universal Algebra for the Variable-Free Fragment of RC∇ in LOGICAL FOUNDATIONS OF COMPUTER SCIENCE
  • 2017-08 Guest Editorial: Computer Science Symposium in Russia in THEORY OF COMPUTING SYSTEMS
  • 2017 On the Reflection Calculus with Partial Conservativity Operators in LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION
  • 2017-01 On the reduction property for GLP-algebras in DOKLADY MATHEMATICS
  • 2016-02 Franco Montagna’s Work on Provability Logic and Many-valued Logic in STUDIA LOGICA
  • 2015 Proof Theoretic Analysis by Iterated Reflection in TURING’S REVOLUTION
  • 2014-06 On Provability Logics with Linearly Ordered Modalities in STUDIA LOGICA
  • 2014 Topological Interpretations of Provability Logic in LEO ESAKIA ON DUALITY IN MODAL AND INTUITIONISTIC LOGICS
  • 2012-04 Foreword in STUDIA LOGICA
  • 2011-10 A simplified proof of arithmetical completeness theorem for provability logic GLP in PROCEEDINGS OF THE STEKLOV INSTITUTE OF MATHEMATICS
  • 2011-10 Foreword in PROCEEDINGS OF THE STEKLOV INSTITUTE OF MATHEMATICS
  • 2011 Ordinal Completeness of Bimodal Provability Logic GLB in LOGIC, LANGUAGE, AND COMPUTATION
  • 2006 Problems in the Logic of Provability in MATHEMATICAL PROBLEMS FROM APPLIED LOGIC I
  • 2005 Provability Logic in HANDBOOK OF PHILOSOPHICAL LOGIC, 2ND EDITION
  • 2003-08 Proof-theoretic analysis by iterated reflection in ARCHIVE FOR MATHEMATICAL LOGIC
  • 2003-05-13 Open Least Element Principle and Bounded Query Computation in COMPUTER SCIENCE LOGIC
  • 1998-07 A proof-theoretic analysis of collection in ARCHIVE FOR MATHEMATICAL LOGIC
  • 1997 Parameter free induction and reflection in COMPUTATIONAL LOGIC AND PROOF THEORY
  • 1993-05 On the complexity of arithmetical interpretations of modal formulae in ARCHIVE FOR MATHEMATICAL LOGIC
  • 1992-09 Independent enumerations of theories and recursive progressions in SIBERIAN MATHEMATICAL JOURNAL
  • 1991-03 Provability logics for natural turing progressions of arithmetical theories in STUDIA LOGICA
  • 1989-06 Provability logic without Craig's interpolation property in MATHEMATICAL NOTES
  • JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "affiliation": [
          {
            "affiliation": {
              "id": "https://www.grid.ac/institutes/grid.426543.2", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "https://www.grid.ac/institutes/grid.5477.1", 
            "type": "Organization"
          }
        ], 
        "familyName": "Beklemishev", 
        "givenName": "Lev D", 
        "id": "sg:person.010006653012.41", 
        "identifier": {
          "name": "orcid_id", 
          "type": "PropertyValue", 
          "value": [
            "0000-0002-2949-0600"
          ]
        }, 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010006653012.41", 
          "https://orcid.org/0000-0002-2949-0600"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T14:13", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-researchers-20181010/20181011/dim_researchers/base/researchers_1976.json", 
        "type": "Person"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/person.010006653012.41'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/person.010006653012.41'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/person.010006653012.41'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/person.010006653012.41'


     




    Preview window. Press ESC to close (or click here)


    ...