interval temporal logics find application in computer science artificial intelligence and linguistics his credibility was hurt even more after abel koontz confessed to the crime