Sib. Èlektron. Mat. Izv., 2015, Volume 12, Pages 421–431
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
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.
polymodal logic, Kripke frames, axiomatization, completeness, finite model property.
PDF file (171 kB)
MSC: 03B44, 03B45
Received March 15, 2015, published July 12, 2015
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
\paper Polymodal logic of the class of inductive linear time frames
\jour Sib. \`Elektron. Mat. Izv.
Citing articles on Google Scholar:
Related articles on Google Scholar:
This publication is cited in the following articles:
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
|Number of views:|