S. Artemov and E. Nogina, “The topology of justification”, LLP, vol. 17, no. 1-2, pp. 59–71, Jun. 2008.