 A second key contributor to the development of formal epistemology, not only in Latin America but worldwide, was Horacio Arló-Costa (1956–2011). Born in Montevideo (Uruguay), he pursued his undergraduate studies at UBA, obtaining his B.A. in philosophy under the supervision of Alchourrón, and was a member of Alchourrón’s logic group since its founding. He later on obtained his Ph.D. in philosophy at Columbia University under the supervision of Isaac Levi, with whom he would collaborate in a number of publications. From 1997 until his death, he worked at Carnegie Mellon University, where he helped found the Center for Formal Epistemology. Arló-Costa made significant contributions to the study of the logic of belief change (Arló-Costa 1990, 2006; Arló-Costa &amp; Levi 2006), conditionals (Arló-Costa 1995, 1999; Arló-Costa &amp; Levi 1996), Bayesian epistemology (Arló-Costa 2001, Arló-Costa &amp; Thomason 2001, Arló-Costa &amp; Parikh 2005, Arló-Costa &amp; Pedersen 2012), and rationality and decision theory (Arló-Costa 1996; Arló-Costa, Collins, &amp; Levi 1995; Arló-Costa &amp; Helzner 2010; Arló-Costa &amp; Pedersen 2011, 2013). (For a brief presentation of Arló-Costa’s original contributions to those subjects as well as to modal logic, see Cresto 2011.)