|
Sibirskii Matematicheskii Zhurnal, 1991, Volume 32, Number 6, Pages 109–113
(Mi smj3393)
|
|
|
|
This article is cited in 4 scientific papers (total in 4 papers)
The absence of the interpolation and Beth properties in temporal logics with “the next” operator
L. L. Maksimova
Received: 20.06.1990
Citation:
L. L. Maksimova, “The absence of the interpolation and Beth properties in temporal logics with “the next” operator”, Sibirsk. Mat. Zh., 32:6 (1991), 109–113; Siberian Math. J., 32:6 (1991), 989–993
Linking options:
https://www.mathnet.ru/eng/smj3393 https://www.mathnet.ru/eng/smj/v32/i6/p109
|
Statistics & downloads: |
Abstract page: | 49 | Full-text PDF : | 22 |
|