|
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.
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
Linking options:
https://www.mathnet.ru/eng/semr598 https://www.mathnet.ru/eng/semr/v12/p421
|
Statistics & downloads: |
Abstract page: | 189 | Full-text PDF : | 47 | References: | 34 |
|