A logical approach to cooperative information systems