Logics with aggregate operators | IEEE Conference Publication | IEEE Xplore