|
This article is cited in 1 scientific paper (total in 1 paper)
A decidable noncompact extension of the logic ${\rm S}4$
V. V. Rybakov
Received: 30.11.1977
Citation:
V. V. Rybakov, “A decidable noncompact extension of the logic ${\rm S}4$”, Algebra Logika, 17:2 (1978), 210–219
Linking options:
https://www.mathnet.ru/eng/al1602 https://www.mathnet.ru/eng/al/v17/i2/p210
|
Statistics & downloads: |
Abstract page: | 61 | Full-text PDF : | 27 |
|