Il proposa la correspondante suivante : - Elle s`est développée à partir des années 1950 grâce aux travaux du philosophe finlandais Georg Henrik von Wright (Deontic Logic 1951). Reprenant la correspondance notée par Leibniz, en les formalisant grâce aux avancées de la logique modale. Les ...