The canonical model construction presupposes completeness of the base modal calculus, which fails fo...