The mental model theory of reasoning was developed by Philip Johnson-Laird and Ruth M.J. Byrne. It has been applied to major domains of deductive inference, including relational inferences, propositional inferences, quantified inferences (syllogisms), and meta-deductive inferences.