RO  EN
IMCS/Publications/BASM/Issues/BASM n.1 (1), 1990/

On the Impossibility of an Algorithm for the Recognition of the Expressibility of Modal Formulae. (Russian)

Authors: Ratsa M. F.