Books on Amazon
|Modal Logic||I 144
quantified modal logic / Stalnaker: arises not simply from the joining of modal predicate logic and extensional quantifier theory. - Problem: the increase in expressiveness allows Leibniz’s Law and the existential generalization appear doubtful - problems: 1st Status of sentences - 2nd Relation between domains of individuals.
Ways a World may be Oxford New York 2003