Questions and dependency in intuitionistic logic - Ivano Ciardelli; Rosalie Iemhoff; Fan Yang (2017)