A Logical Approach to Cooperative Information Systems