Formal Epistemology Workshop, Carnegie Mellon University, May 31 – June 3, 2007. tr 2007, 1 (3).