 Gersonides also wrote a logical treatise, Sefer Ha-heqesh Ha-yashar (On Valid Syllogisms, 1319), in which he examines problems associated with Aristotle’s modal logic as developed in the Prior Analytics. This treatise was translated into Latin at an early date, although Gersonides’ name was not attached to it.