A Note on Flagg and Friedman's Epistemic and Intuitionistic Formal Systems. - Alessandro Provetti; Andrea Zucchellini (CoRR, 2015)