Dagfinn Foøllesdal

• Referential opacity and modal logic