Churn-Jung Liau An Overview of Rough Set Semantics for Modal and Quantifier Logics. 93-118 2000 8 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 1 http://dx.doi.org/10.1142/S0218488500000071 db/journals/ijufks/ijufks8.html#Liau00