computation tree logic

Computer, Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Science, Sciences A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until".