Document Type
Technical Report
Publication Date
2007
Recommended Citation
Fitting, Melvin, "TR-2007006: Realizing Substitution Instances of Modal Theorems" (2007). CUNY Academic Works.
https://academicworks.cuny.edu/gc_cs_tr/286
Technical Report
2007
Fitting, Melvin, "TR-2007006: Realizing Substitution Instances of Modal Theorems" (2007). CUNY Academic Works.
https://academicworks.cuny.edu/gc_cs_tr/286