1. Category Theory;Awodey,2010
2. Information Flow: The Logic of Distributed Systems;Barwise,1997
3. Modal Logic;Blackburn,2001
4. Extensions and intentions in the rough set theory;Bonikowski;Inf. Sci.,1998
5. Modal Logic: An Introduction;Chellas,1980