Logical Omniscience Via Proof Complexity.

Sergei N. Artmov, Roman Kuznets

Browse the full CSL paper archive.