An Easy Completeness Proof for the Modal

Balder ten Cate, Galle Fontaine

Browse the full FOSSACS paper archive.