David K. Lewis Counterpart theory and quantified modal logic bookCounterpart theory and quantified modal logicDavid K. Lewis1983