1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): Description Logic Handbook, Cambridge (2003)
2. Barr, M.: *-autonomous categories and linear logic. Mathematical Structures in Computer Science 1, 159–178 (1991)
3. Barwise, J., Seligman, J.: Information Flow: Logic of Distributed Systems. Tracts in Theoretical Computer Science, vol. 44, Cambridge (1997)
4. Bell, J.L.: Toposes and Local Set Theories: An Introduction. Oxford Logic Guides, vol. 14, Oxford (1988)
5. Bloor, D.: Knowledge and Social Imagery, 2nd edn., Chicago (1991)