Citation Title: Canonical formulas for K4. Part I: Basic results Author: Michael Zakharyaschev Year: 1992 Published in: The Journal of Symbolic Logic Publisher: Cambridge University Press