Intuitionistic logic as epistemic logic (Q5946349)

Is intuitionism a variant of constructivism? If intuitionism is not constructivism, what is it? What do the intuitions of the genuine intuitionists add up to? Are their intentions reflected faithfully in Heyting's intuitionistic logic? What is the epistemic logic like, in which the distinction can be made and in which the correctly understood claims of the Brouwerian intuitionists can be vindicated? What laws hold in such a logic? These questions are discussed and illustrated by exploiting the known examples regarding the role of the axiom of choice and the existence of Skolem functions in the context of intuitionistic mathematics.