temporal logic love

Definitions

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.

Etymologies

Sorry, no etymologies found.

Examples

Sorry, no example sentences found.

Wordnik is becoming a not-for-profit! Read our announcement here.

Comments

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