Covariant-Contravariant Refinement Modal Logic

Huili Xing, Zhaohui Zhu, Jinjin Zhang. Covariant-Contravariant Refinement Modal Logic. FLAP, 6(1):1-30, 2019. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: