Reasoning about justified belief.

Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass

Browse the full TARK paper archive.