Linking Logics