Modal logic : the Lewis-modal systems - Zeman, J. Jay (Clarendon Press, 1973)