3 ms·Logic, predicate calculus, and temporal logic for a start.by agentultra 7y agoLogic, predicate calculus, and temporal logic for a start.Digg_mov 7y agook