@Zakharyaschev1992CFfKPIBR

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