Logic and Time-based Art Practice