Dialogues for proof search