1. Category Theory;Awodey,2010
2. A category of rough sets;Banerjee;Found. Comput. Decision Sci.,1983
3. A categorical basis for granular computing;Banerjee,2007
4. Information Flow: The Logic of Distributed Systems;Barwise,1997
5. Modal Logic;Blackburn,2001