A Logic for PTIME and a Parameterized Halting Problem | IEEE Conference Publication | IEEE Xplore