Binary Connectives Functionally Complete by Themselves in S5 Modal Logic.

Gerald J. Massey Binary Connectives Functionally Complete by Themselves in S5 Modal Logic. 91-92 1967 32 J. Symb. Log. 1 db/journals/jsyml/jsyml32.html#Massey67