Kripke reference et modalités - Drapeau, Filipe; Ludwig, Pascal; Contim, Vieira (Presses Univ. de France, 2005)