Kripke’s Worlds - Gasquet, Olivier; Gasquet, Jean-Yves Olivier; Herzig, Andreas; Sahade, Mohamad; Said, Bilal; Schwarzentruber, François (Springer Basel, 2014)