Winskel, G. A Note on Model Cheking the Modal V-Calculus. DPB 1990, 18.