Dealing with logical omniscience.

Joseph Y. Halpern, Riccardo Pucella

Browse the full TARK paper archive.