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



Sib. Èlektron. Mat. Izv.:
Year:
Volume:
Issue:
Page:
Find






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


Sib. Èlektron. Mat. Izv., 2015, Volume 12, Pages 421–431 (Mi semr598)  

This article is cited in 1 scientific paper (total in 1 paper)

Mathematical logic, algebra and number theory

Polymodal logic of the class of inductive linear time frames

V. F. Yunab

a Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
b Novosibirsk State University

Abstract: A class of frames based on a class of $LTK$-frames is considered. The polymodal decidable calculus in modal language with three modalities is found which is complete with respect to the class of inductive nearly $LTK$-frames. It is proved that it is finite approximated by the class of finite inductive nearly $LTK$-frames.

Keywords: polymodal logic, Kripke frames, axiomatization, completeness, finite model property.

DOI: https://doi.org/10.17377/semi.2015.12.035

Full text: PDF file (171 kB)
References: PDF file   HTML file

UDC: 510.64
MSC: 03B44, 03B45
Received March 15, 2015, published July 12, 2015

Citation: V. F. Yun, “Polymodal logic of the class of inductive linear time frames”, Sib. Èlektron. Mat. Izv., 12 (2015), 421–431

Citation in format AMSBIB
\Bibitem{Yun15}
\by V.~F.~Yun
\paper Polymodal logic of the class of inductive linear time frames
\jour Sib. \`Elektron. Mat. Izv.
\yr 2015
\vol 12
\pages 421--431
\mathnet{http://mi.mathnet.ru/semr598}
\crossref{https://doi.org/10.17377/semi.2015.12.035}


Linking options:
  • http://mi.mathnet.ru/eng/semr598
  • http://mi.mathnet.ru/eng/semr/v12/p421

    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

    This publication is cited in the following articles:
    1. V. F. Yun, “On linear logic of knowledge and time”, Larisa Maksimova on Implication, Interpolation, and Definability, Outstanding Contributions to Logic, 15, ed. S. Odintsov, Springer, 2018, 339–349  crossref  mathscinet  isi  scopus
  • Number of views:
    This page:114
    Full text:24
    References:19

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