Referential Opacity and Modal Logic

This landmark work providesa a systematic introduction to systems of modal logic and stands as the first presentation of what have become central ideas in philosophy of language and metaphysics.