This article is cited in 1 paper

A decidable noncompact extension of the logic ${\rm S}4$

V. V. Rybakov


UDC: 517.11

Received: 30.11.1977

Bibliographic databases:

•