M. J. Cresswell. A Henkin completeness theorem for T. Notre Dame journal of formal logic, vol. 8 no. 3 (for 1967, pub. 1968), pp. 186–190. - M. J. Cresswell. Alternative completeness theorems for modal systems. Notre Dame journal of formal logic, vol. 8 no. 4 (for 1967, pub. 1968), pp. 339–345. - M. J. Cresswell. Some proofs of relative completeness in modal logic. Notre Dame journal of formal logic, vol. 9 no. 1 (1968), pp. 62–66.
David Makinson · Journal of Symbolic Logic · 1970
M. J. Cresswell. A Henkin completeness theorem for T. Notre Dame journal of formal logic, vol. 8 no. 3 (for 1967, pub. 1968), pp. 186–190. - M. J. Cresswell. Alternative completeness theorems for modal systems. Notre Dame journal of formal logic, vol. 8 no. 4 (for 1967, pub. 1968), pp. 339–345. - M. J. Cresswell. Some proofs of relative completeness in modal logic. Notre Dame journal of formal logic, vol. 9 no. 1 (1968), pp. 62–66. - Volume 35 Issue 4