The conventional systems of logic can only recognize or perform operations that transform or translate values in space. Ordinary logic treats time poorly through the necessity of translating all temporal signs, signals, and effects into the space-domain so as to be suitable for space-only operations. Contemporary logic can easily assign state, but it is powerless to assign cause. Life is typified by activity. Humans have more than static existence: we experience and also cause dynamic processes in both space and time. How does one concisely express and treat the aspects of movement, change, cause and effect, and life with only static formal tools? I propose a time-domain mathematics and logic, a method of automating physical processes that does not first require translation to the space-domain before applying logic. 
Time-based mathematics or logic
lo.logic;automata theory;formal modeling