Title: A logical specification of federated information systems