Frederic Brenton Fitch Modal Functions in Two-Valued Logic. 125-128 1937 2 J. Symb. Log. 3 db/journals/jsyml/jsyml2.html#Fitch37