L. L. Maksimova, “The absence of the interpolation and Beth properties in temporal logics with “the next” operator”, Sibirsk. Mat. Zh., 1991, Volume 32, Number 6,Pages <nobr>109

JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive

Sibirsk. Mat. Zh., 1991 Volume 32, Number 6, Pages 109–113 (Mi smj3393)

This article is cited in 4 papers

The absence of the interpolation and Beth properties in temporal logics with “the next” operator

L. L. Maksimova

UDC: 510.64

Received: 20.06.1990

Fulltext: PDF file (428 kB)
Cited by

English version: Siberian Mathematical Journal, 1991, 32:6, 989–993

Bibliographic databases: