Winskel, Glynn. “A Note on Model Cheking the Modal V-Calculus”. DAIMI Report Series 18, no. 279 (June 1, 1990). Accessed February 5, 2026. https://tidsskrift.dk/daimipb/article/view/6656.