Document Type
Technical Report
Publication Date
2003
Recommended Citation
Fitting, Melvin, "TR-2003010: A Semantic Proof of the Realizability of Modal Logic in the Logic of Proofs" (2003). CUNY Academic Works.
https://academicworks.cuny.edu/gc_cs_tr/231