Modal ZIA, Modal Refinement Relation and Logical Characterization.

Zining Cao

Browse the full SEKE paper archive.