M. J. Poliferno. Decision algorithms for some functional calculi with modality. Logique et analyse, n.s. vol. 4 (1961), pp. 138–153. - M. J. Poliferno. Correction to a paper on modal logic. Logique et analyse, n.s. vol. 7 (1964), pp. 32–33.
Arnould Bayart · Journal of Symbolic Logic · 1967
M. J. Poliferno. Decision algorithms for some functional calculi with modality. Logique et analyse, n.s. vol. 4 (1961), pp. 138–153. - M. J. Poliferno. Correction to a paper on modal logic. Logique et analyse, n.s. vol. 7 (1964), pp. 32–33. - Volume 32 Issue 2