Binary Connectives Functionally Complete by Themselves in S5 Modal Logic

Gerald J. Massey. Binary Connectives Functionally Complete by Themselves in S5 Modal Logic. Journal of Symbolic Logic, 32(1):91-92, 1967.

Abstract

Abstract is missing.