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.

About this article

temporal logic

Updated About encyclopedia.com content Print Article Share Article