Some complexity bounds for dynamic logics | IEEE Conference Publication | IEEE Xplore