modal logic,the lewis-modal systems lewis,clarence irving ,1883 - zeman,j.jay (1st.ed. | Oxford Clarendon, 1973)