with Buchsbaum, A. , Pequeno, M. , 2007, 'A logical expression of reasoning', Synthese 154 (3), 431-466.