 Regarding formal epistemology in Argentina, one may finally refer to a number of works by Eleonora Cresto, who completed her Ph.D. under the supervision of Isaac Levi. Her first publications in the field were concerned with formal belief-revision theories (Cresto 2008, 2010b). She later on offered a defense of a moderate version of the so-called KK principle—according to which if S knows that p, then S knows that she knows that p—as a normative rather than descriptive epistemic principle. Her defense of such a principle of epistemic transparency is different from that traditionally proposed by epistemic internalists inasmuch as her argument is a formal one that appeals to lower- and higher-order probabilities (Cresto 2012). Cresto’s more recent research in the subfield of formal epistemology focuses on such topics as group knowledge and probability aggregation (Cresto 2015a, 2016, 2017).