The McKinsey axiom is not canonical', The (1991)

by R I GOLDBLATT
Venue:Journal of Symbolic Logic