temporal logic love

Help Wordnik hunt for a million missing words by backing our Kickstarter!


from Wiktionary, Creative Commons Attribution/Share-Alike License

  • n. A form of symbolic logic used to reason about properties of statements related to order and duration.


Sorry, no etymologies found.


Sorry, no example sentences found.


Log in or sign up to get involved in the conversation. It's quick and easy.

  • Temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. It is sometimes also used to refer to tense logic, a particular modal logic-based system of temporal logic introduced by Arthur Prior in the 1960s. Subsequently it has been developed further by computer scientists, notably Amir Pnueli, and logicians. (Wikipedia)

    May 22, 2008