Mathematics of the USSR-Izvestiya
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Forthcoming papers
Archive
Impact factor
Guidelines for authors
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Izv. RAN. Ser. Mat.:
Year:
Volume:
Issue:
Page:
Find




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

Mathematics of the USSR-Izvestiya, 1986, Volume 27, Issue 3, Pages 401–429
DOI: https://doi.org/10.1070/IM1986v027n03ABEH001183 (Mi im1391) 		 
This article is cited in 9 scientific papers (total in 9 papers)

On modal logics axiomatizing provability

S. N. Artemov
English version PDF (1662 kB) Citations (9)
References:
PDF
HTML
DOI: https://doi.org/10.1070/IM1986v027n03ABEH001183
Abstract: On the basis of the concept of the trace of a modal logic, introduced earlier by the author, a classification of arithmetically complete modal logics is given. It is proved that, between the least and the greatest arithmetically complete logics, there are continuum many logics which are not arithmetically complete.
Bibliography: 17 titles.
Received: 05.09.1983
Revised: 27.03.1985
Russian version:
Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya, 1985, Volume 49, Issue 6, Pages 1123–1154
Bibliographic databases:
UDC: 510.65
MSC: Primary 03B45; Secondary 03F99
Language: English
Original paper language: Russian
Citation: S. N. Artemov, “On modal logics axiomatizing provability”, Izv. Akad. Nauk SSSR Ser. Mat., 49:6 (1985), 1123–1154; Math. USSR-Izv., 27:3 (1986), 401–429
Citation in format AMSBIB
\Bibitem{Art85}
\by S.~N.~Artemov
\paper On~modal logics axiomatizing provability
\jour Izv. Akad. Nauk SSSR Ser. Mat.
\yr 1985
\vol 49
\issue 6
\pages 1123--1154
\mathnet{http://mi.mathnet.ru/im1391}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=816851}
\zmath{https://zbmath.org/?q=an:0609.03005|0598.03012}
\transl
\jour Math. USSR-Izv.
\yr 1986
\vol 27
\issue 3
\pages 401--429
\crossref{https://doi.org/10.1070/IM1986v027n03ABEH001183}
Linking options:
  • https://www.mathnet.ru/eng/im1391
  • https://doi.org/10.1070/IM1986v027n03ABEH001183
  • https://www.mathnet.ru/eng/im/v49/i6/p1123
    • This publication is cited in the following 9 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Известия Академии наук СССР. Серия математическая Izvestiya: Mathematics
    Statistics & downloads:
    Abstract page:377
    Russian version PDF:134
    English version PDF:8
    References:43
    First page:4
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024