Temporal logic inference for classification and prediction from data
Logic in computer science: modelling and reasoning about systems