Sibirskii Matematicheskii Zhurnal
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Sibirsk. Mat. Zh.:
Year:
Volume:
Issue:
Page:
Find






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


Sibirskii Matematicheskii Zhurnal, 2009, Volume 50, Number 4, Pages 872–882 (Mi smj2010)  

An explicit basis for the admissible inference rules of the modal logics extending $S4.1$ and $Grz$

V. V. Rimatskii

Institute of Urban Construction, Management and Regional Economics, Siberian Federal University, Krasnoyarsk
References:
Abstract: We study bases for the admissible inference rules in a broad class of modal logics. We construct an explicit basis for all admissible rules in the logics $S4.1$, $Grz$, and their extensions whose number is at least countable. The resulting basis consists of an infinite sequence of rules in a concise and simple form. In the case of a logic of finite width a basis for all admissible rules consists of a finite sequence of rules.
Keywords: modal logic, Kripke frame and model, admissible inference rule, basis for admissible rules.
Received: 05.03.2007
English version:
Siberian Mathematical Journal, 2009, Volume 50, Issue 4, Pages 692–699
DOI: https://doi.org/10.1007/s11202-009-0079-3
Bibliographic databases:
UDC: 510.643+517.11
Language: Russian
Citation: V. V. Rimatskii, “An explicit basis for the admissible inference rules of the modal logics extending $S4.1$ and $Grz$”, Sibirsk. Mat. Zh., 50:4 (2009), 872–882; Siberian Math. J., 50:4 (2009), 692–699
Citation in format AMSBIB
\Bibitem{Rim09}
\by V.~V.~Rimatskii
\paper An explicit basis for the admissible inference rules of the modal logics extending $S4.1$ and $Grz$
\jour Sibirsk. Mat. Zh.
\yr 2009
\vol 50
\issue 4
\pages 872--882
\mathnet{http://mi.mathnet.ru/smj2010}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2583626}
\elib{https://elibrary.ru/item.asp?id=12941149}
\transl
\jour Siberian Math. J.
\yr 2009
\vol 50
\issue 4
\pages 692--699
\crossref{https://doi.org/10.1007/s11202-009-0079-3}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000268837600017}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-70349969432}
Linking options:
  • https://www.mathnet.ru/eng/smj2010
  • https://www.mathnet.ru/eng/smj/v50/i4/p872
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Сибирский математический журнал Siberian Mathematical Journal
    Statistics & downloads:
    Abstract page:227
    Full-text PDF :62
    References:35
    First page:3
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024