At the Reasoning Research Laboratory (Faculty of Psychology and Cognitive Science, Adam Mickiewicz University) we investigate formal models of human reasoning processes. We carry out research on abductive and deductive reasoning, erotetic inferences and logic of questions, cooperative and non-cooperative strategies in dialogues.