Reasoning about relational granulation in modal logics.

Churn-Jung Liau, T. Y. Lin

Browse the full GRC paper archive.