An Axiomatic Approach to the Logical Omniscience Problem.

Barton L. Lipman

Browse the full TARK paper archive.