The logic of justification (2008)

by S Artemov
Venue:Review of Symbolic Logic