X-1993-06: Zakharyashev, Michael (1993) Canonical Formulas for K4. Part II: Cofinal Subframe Logics. [Report]