Title: Referential opacity and modal logic
Subjects: Modality (Logic)