Covariant-Contravariant Refinement Modal Logic

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

Abstract

Abstract is missing.