A logical specification of federated information systems | lit.salon