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, 2024, Volume 65, Number 1, Pages 180–197
DOI: https://doi.org/10.33048/smzh.2024.65.114
(Mi smj7848)
 

Admissible inference rules of modal WCP-logics

V. V. Rimatskii

Institute of Mathematics and Computer Science, Siberian Federal University, Krasnoyarsk
References:
Abstract: We study admissible rules for the extensions of the modal logics S4 and GL with the weak co-covering property and describe some explicit independent basis for the admissible rules of these logics. The resulting basis consists of an infinite sequence of rules in compact and simple form.
Keywords: modal logic, Kripke frame, Kripke model, admissible inference rule, basis of admissible rules.
Funding agency Grant number
Russian Science Foundation 23-21-00213
Received: 06.10.2022
Revised: 23.09.2023
Accepted: 25.09.2023
Document Type: Article
UDC: 510.643+517.11
MSC: 35R30
Language: Russian
Citation: V. V. Rimatskii, “Admissible inference rules of modal WCP-logics”, Sibirsk. Mat. Zh., 65:1 (2024), 180–197
Citation in format AMSBIB
\Bibitem{Rim24}
\by V.~V.~Rimatskii
\paper Admissible inference rules of modal WCP-logics
\jour Sibirsk. Mat. Zh.
\yr 2024
\vol 65
\issue 1
\pages 180--197
\mathnet{http://mi.mathnet.ru/smj7848}
\crossref{https://doi.org/10.33048/smzh.2024.65.114}
Linking options:
  • https://www.mathnet.ru/eng/smj7848
  • https://www.mathnet.ru/eng/smj/v65/i1/p180
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Сибирский математический журнал Siberian Mathematical Journal
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024