Even if they were, I would expect the adjustments to not be that difficult. This sort of temporal logic already accepts and encompasses many of the issues relativistic time would raise. For instance, computer science already has to handle the possibility that event X will occur but remote site Y literally never hears about it, or hears about it many, many, many multiples of the fundamental speed-of-light latency later, arbitrarily interleaved with any number of other events in the mean time. It would be less of a shock to computer science than it was to physics.