Note on modal functions
Frederic Brenton Fitch · Journal of Symbolic Logic · 1939
In a previous paper a method was given for representing modal functions in two-valued logic. The purpose of the present note is to indicate how the results of that paper can be improved in certain respects and to point out a simple Boolean representation of Lewis's system of strict implication. The definitions of the previous paper will be presupposed.