ABSTRACT
Modal logic is the logic of possibility and necessity and of other such notions. It began, as did logic in general, with Aristotle, in his theory of the ‘modal syllogism’; and various notions and principles of modal logic were extensively discussed in the middle ages. But the subject only came into its own at the beginning of the twentieth century (see Goldblatt 2005 for an account of its recent history).
