It runs in the family
I just tried to describe active logic to my dad over the phone (a terrible idea, don't try it) and I discovered that he's also studying temporal reasoning in computers. I don't know what his reasons are, but this is more or less the best thing ever.