Fitch and intuitionistic knowability