W. V. Quine The Problem of Interpreting Modal Logic. 43-48 1947 12 J. Symb. Log. 2 db/journals/jsyml/jsyml12.html#Quine47