A logically justified model of computation II