Lecture Notes in Computer Science
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Main page
About this project
Software
Classifications
Links
Terms of Use

Search papers
Search references

RSS
Current issues
Archive issues
What is RSS






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Lecture Notes in Comput. Sci., 2020, Volume 12300, Pages 3–16 (Mi lncs43)  

A $\Pi^0_1$-bounded fragment of infinitary action logic with exponential

Stepan L. Kuznetsovab

a Steklov Mathematical Institute of RAS, Moscow, Russia
b National Research University Higher School of Economics, Moscow, Russia

Funding Agency Grant Number
Ministry of Education and Science of the Russian Federation 5100
MK-430.2019.1
Contest «Young Russian Mathematics»
Russian Foundation for Basic Research 20-01-00435
Research work towards this paper was supported by the HSE University Basic Research Program funded by the Russian Academic Excellence Project 5100, by grant MK-430.2019.1 of the President of Russia, by the Young Russian Mathematics Award, and by the Russian Foundation for Basic Research grant 20-01-00435.


DOI: https://doi.org/10.1007/978-3-030-62077-6_1

Language:

Linking options:
  • http://mi.mathnet.ru/eng/lncs43

    SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Number of views:
    This page:14

     
    Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2021