TEMPORAL LOGIC

Domain	Definition
Computing	Temporal logic An extension of predicate calculus which includes notation for arguing about when statements are true. Time is discrete and extends indefinitely into the future. Three prefix operators, represented by a circle, square and diamond mean "is true at the next time instant", "is true from now on" and "is eventually true". x U y means x is true until y is true. x P y means x precedes y. There are two types of formula: "state formulae" about things true at one point in time, and "path formulae" about things true for a sequence of steps. An example of a path formula is "x U y", and example of a state formula is "next x" or a simple atomic formula such at "waiting". "true until" in this context means that a state formula holds at every point in time up to a point when another formula holds. "x U y" is the "strong until" and implies that there is a time when y is true. "x W y" is the "weak until" in which it is not necessary that y holds eventually. There are two types of temporal logic used: branching time and linear time. The basic propositional temporal logic cannot differentiate between the two, though. Linear time considers only one possible future, in branching time you have several alternative futures. In branching temporal logic you have the extra operators "A" (for "all futures") and "E" (for "some future"). For example, "A(work U go_home)" means "I will work until I go home" and "E(work U go_home)" means "I may work until I go home". (1997-01-21). Source: The Free On-line Dictionary of Computing.
Math	The vertex which an edge of a directed graph enters. (references)
Source: compiled by the editor from various references; see credits.

Specialty Definition: Temporal logic

Commercial Usage: TEMPORAL LOGIC

Domain	Title
Books	The Imperative Future Principles of Executable Temporal Logic: Principles of Executable Temporal Logic (Advanced Software Development Series, 4) (reference) Temporal Logic, Omniscience, Human Freedom - Perspectives in Analytic Philosophy (European University Studies: Series 20, Philosophy; Vol. 319) (reference) Verifying Concurrent Processes Using Temporal Logic (reference) (more book examples)
Source: compiled by the editor from various references; see credits.

Frequency of Internet Keywords: TEMPORAL LOGIC

Modern Translation: TEMPORAL LOGIC

Language		Translations for "TEMPORAL LOGIC"; alternative meanings/domain in parentheses.
Danish		temporal logik. (various references)

Dutch		temporele logica. (various references)

Finnish		temporaalilogiikka, aikalogiikka. (various references)

French		logique temporelle. (various references)

German		temporale Logik, Zeitlogik. (various references)

Greek		χρονική λογική. (various references)

Italian		logica temporale. (various references)

Pig Latin		emporaltay ogiclay

Portuguese		lógica temporal. (various references)

Spanish		lógica temporal. (various references)

Swedish		temporal logik. (various references)
Source: compiled by the editor from various translation references.

Anagrams: TEMPORAL LOGIC

Scrabble® Enable2K-Verified Anagrams
	Words within the letters "a-c-e-g-i-l-l-m-o-o-p-r-t"
	-1 letter: metrological, petrological.
	-3 letters: allometric, allotropic, apologetic, collimator, colportage, petrologic, prelogical.
	-4 letters: allotrope, ametropic, colligate, collimate, coprolite, corollate, geotropic, pictogram, polemical, preatomic, precoital.
	-5 letters: allergic, amitrole, calliope, calliper, capriole, clitoral, collaret, collator, collegia, compiler, compleat, complier, copremia, erotical, gallipot, galloper, gloomier, gloriole, impacter, impactor, impellor, leprotic, localite, loricate, martello, mercapto, metallic, metrical, micellar, millrace, oligomer.
	Words containing the letters "a-c-e-g-i-l-l-m-o-o-p-r-t"
	+4 letters: micropaleontology, morphogenetically.
	+5 letters: micropaleontologic.
Source: compiled by the editor from various references; see credits. SCRABBLE® is a registered trademark. All intellectual property rights in and to the game are owned in the U.S.A and Canada by Hasbro Inc., and throughout the rest of the world by J.W. Spear & Sons Limited of Maidenhead, Berkshire, England, a subsidiary of Mattel Inc. Mattel and Spear are not affiliated with Hasbro.

TEMPORAL LOGIC

Specialty Definition: TEMPORAL LOGIC

Computing

Math

Specialty Definition: Temporal logic

Crosswords: TEMPORAL LOGIC

Commercial Usage: TEMPORAL LOGIC

Books

Frequency of Internet Keywords: TEMPORAL LOGIC

temporal logic

Modern Translation: TEMPORAL LOGIC

Danish

Dutch

Finnish

French

German

Greek

Italian

Pig Latin

Portuguese

Spanish

Swedish

Anagrams: TEMPORAL LOGIC

Scrabble® Enable2K-Verified Anagrams

INDEX

Expression	Frequency per Day
temporal logic	7
Source: compiled by the editor from various references; see credits.