“Formal Epistemology Workshop, Carnegie Mellon University, May 31 – June 3, 2007”. 2007. The Reasoner 1 (3). https://test-ojs-unimi-it.archicoop.it/index.php/thereasoner/article/view/26508.