 Ockham’s main logical writings consist of a series of commentaries (or “expositions”) on Aristotle’s and Porphyry’s logical works, plus his own Summa of Logic, his major work in the field. His Treatise on Predestination contains an influential theory on the logic of future contingent propositions, and other works as well include occasional discussions of logical topics, notably his Quodlibets.