On Epistemic Logic and Logical Omniscience.

Moshe Y. Vardi

Browse the full TARK paper archive.