Classes of modal frames definable by closure relational operations.

Stéphane Demri Ewa Orlowska Classes of modal frames definable by closure relational operations. 48-52 1998 conf/RelMiCS/1998 RelMiCS db/conf/RelMiCS/RelMiCS1998.html#DemriO98