Document Type
Technical Report
Publication Date
2004
Recommended Citation
Artemov, Sergei and Nogina, Elena, "TR-2004011: Logic of Knowledge with Justifications from the Provability Perspective" (2004). CUNY Academic Works.
https://academicworks.cuny.edu/gc_cs_tr/247