This article is cited in 1 paper

MATHEMATICS

Unsolvability of the problem of functional expressibility in the modal logic $\mathrm{S}4$

M. F. Raţă

Mathematics Institute, Computer Center, Academy of Sciences of the Moldavian SSR, Kishinev

UDC: 510.6+519.7

Presented: A. N. Kolmogorov
Received: 18.06.1982

Bibliographic databases:

• 
•