temporal logic

views updated

temporal logic A modal logic in which the modal operators express notions of time such as “always”, “sometimes”, “strong next”, “weak next”, “next-time”, “last-time”, “interval chop”, “since”, “until”, and “while”. The logical study of reasoning about time has provided new insights and practical techniques for handling time in computations.