English Modal logic Cited by user Bender235 on 21 Jan 2014 Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality.