Logic foundations of manipulation as game mechanics | IEEE Conference Publication | IEEE Xplore