The four dominant theories of reasoning from conditionals are translated into formal models: The theory of mental models (Johnson-Laird, P. N., & Byrne, R. M. J. (2002). Conditionals: a theory of meaning, pragmatics, and inference. "Psychological Review," 109, 646-678), the suppositional theory (Evans, J. S. B. T., & Over, D. E. (2004). "If." Oxford: Oxford University Press), a dual-process variant of the model theory (Verschueren, N., Schaeken, W., & d'Ydewalle, G. (2005). A dual-process specification of causal conditional reasoning. "Thinking & Reasoning," 11, 278-293), and the probabilistic theory (Oaksford, M., Chater, N., & Larkin, J. (2000). Probabilities and polarity biases in conditional inference. "Journal of Experimental Psychology: Learning, Memory, and Cognition," 26, 883-899). The first three theories are formalized as multinomial models. The models are applied to the frequencies of patterns of acceptance or rejection across the four basic inferences modus ponens, acceptance of the consequent, denial of the antecedent, and modus tollens. Model fits are assessed for two large data sets, one representing reasoning with abstract, basic conditionals, the other reflecting reasoning with pseudo-realistic causal and non-causal conditionals. The best account of the data was provided by a modified version of the mental-model theory, augmented by directionality, and by the dual-process model.