Document Type
Technical Report
Publication Date
2006
Recommended Citation
Artemov, Sergei and Kuznets, Roman, "TR-2006005: Logical Omniscience via Proof Complexity" (2006). CUNY Academic Works.
https://academicworks.cuny.edu/gc_cs_tr/273
Skip to main content
COinS