"There is something universal in our understanding of temporal logic that makes objects changing over time an intuitive model for a computer's internal state."

"There is something universal in our understanding of temporal logic that makes objects changing over time an intuitive model for a computer's internal state." But that is exactly what a computer does: changes state over time. Languages ignoring that fact are prisoners of their own niche and will never be as popular as those which don't ignore the hardware.