Keynote: The First-Order Logic of Signals | IEEE Conference Publication | IEEE Xplore