* Signal Temporal Logic, a temporal logic based on MITL logic

* Temporal logic of actions ( TLA )

** Temporal logic

* Temporal logic in finite-state verification

Tautology -- Temporal logic -- Term -- Term logic -- Ternary logic -- Theorem -- Tolerance -- Trilemma -- Truth -- Truth condition -- Truth function -- Truth value -- Type theory

* Interval Temporal Logic, a temporal logic

Temporal logic is sometimes also used to refer to tense logic, a particular modal logic-based system of temporal logic introduced by Arthur Prior in the late 1950s, and important results obtained were by Hans Kamp.

Temporal logic has found an important application in formal verification, where it is used to state requirements of hardware or software systems.

Temporal logic always has the ability to reason about a time line.

Two early contenders in formal verifications were Linear Temporal Logic ( a linear time logic by Amir Pnueli ) and Computation Tree Logic, a branching time logic by E. M. Clarke and E. A.

Temporal logic has two kinds of operators: logical operators and modal operators.

* Temporal logic

* Temporal logic: Rescher operator

* Temporal logic

# REDIRECT Temporal logic in finite-state verification

With Amir Pnueli, he co-authored an unfinished trilogy of textbooks on temporal logic and verification of reactive systems: The Temporal Logic of Reactive and Concurrent Systems: Specification ( Springer-Verlag, 1991 ), The Temporal Logic of Reactive and Concurrent Systems: Safety ( Springer-Verlag, 1995 ) and The Temporal Logic of Reactive and Concurrent Systems: Progress ( unpublished ; first three chapters posted at http :// theory. stanford. edu /~ zm / tvors3. html ).

Temporal paradox has been used to argue that time travel must be impossible, because it is capable of resulting in a paradox.

Temporal performance can be further taxed if it is a 3D display.

* 1867 – Garibaldi and his followers are defeated in the Battle of Mentana and fail to end the Pope's Temporal power in Rome ( it would be achieved three years later ).

The directive is regarded as " inviolable ," and any Star Fleet officer responding to a question regarding their prior actions with words to the effect of " I cannot reply due to the Temporal Prime Directive " would not normally be subject to censure, as long as some form of temporal instability had been sensed, however slight the signs.

In addition, cortex may be classified on the basis of gross topographical conventions into four lobes: the Temporal lobe, Occipital lobe, Parietal lobe and Frontal lobe:

* Temporal locality: if at one point in time a particular memory location is referenced, then it is likely that the same location will be referenced again in the near future.

Temporal locality can also be improved in the above example by using a technique called blocking.

Unlike Lords Temporal, who can be appointed from any of the four constituent nations of the UK, only bishops with English Sees are eligible to sit in the Upper Chamber.

Daniels ' comments are that Archer will be the man who helps to form the United Federation of Planets, and it becomes apparent by the third season that Daniels is representing the Federation throughout the Temporal Cold War.

Temporal resolution can be improved by staggering stimulus presentation across trials.

Either Black Rod or his deputy, the Yeoman Usher, is required to be present when the House of Lords, upper house of Parliament, is in session, and plays a role in the induction of all new Lords Temporal into the House ( but not of bishops as new Lords Spiritual ).

The Xindi were actually pawns in the Temporal Cold War, as they were informed at least as early as 2152 by a trans-dimensional race known as Sphere Builders from the future that they would be victims of a genocidal attack from humanity in the 26th century.

It could also be said that Satan occupies a Temporal existence when the Apostle Paul refers to him as " the god of this age " ( 2 Cor. 4: 4 ).

Temporal order, however, seems to be preserved: a person crossing between the worlds arrives after people who have crossed previously, and before people who cross later.

In this period, the parliamentary gathering began to be preceded by an open-air State Procession ( which often attracted large numbers of onlookers ): the Monarch, together with Household retinue, would proceed in State from whichever royal residence was being used, first to Westminster Abbey for a service ( usually a Mass of the Holy Ghost, prior to the Reformation ), and thence on foot ( accompanied by the Lords Spiritual and Temporal in their robes ) to the Palace of Westminster for the Opening itself.

Nowadays this would be called Temporal Difference Learning.

Temporal isolation requires the factors fixed under the ceteris paribus clause to actually move so slowly relative to the other influence that they can be taken as practically constant at any point in time.

Temporal synchrony is not necessary for the McGurk effect to be present.

" Whereas the late King James the Second, by the Assistance of divers evil Counsellors, Judges, and Ministers, employed by Him, did endeavour to subvert and extirpate the Protestant Religion, and the Laws and Liberties of this Kingdom ..( b ) y assuming and exercising a Power of dispensing with and suspending of Laws, and the Execution of Laws, without Consent of Parliament ....( b ) y causing several good Subjects, being Protestants, to be disarmed, at the same Time when Papists were both armed and employed contrary to Law ...( a ) ll which are utterly and directly contrary to the known Laws and Statutes and Freedom of this Realm ..... the said Lords Spiritual and Temporal and Commons, pursuant to their respective Letters and Elections, being now assembled in a full and free Representative of this Nation, taking into their most serious Consideration the best Means for attaining the Ends aforesaid, do in the First Place ( as their Ancestors in like Case have usually done ), for the vindicating and asserting their ancient Rights and Liberties, Declare ,.... That the Subjects which are Protestants may have Arms for their Defence, suitable to their Condition, and as allowed by Law.

In Rex v. Woolston, " the Court declared they would not suffer it to be debated, whether to write against Christianity in general was not an offence punishable in the Temporal Courts at common law: it having been settled so to be in Taylor's Case in 1 Vent.

" The King's majesty hath the chief power in this Realm of England, and other of his Dominions, unto whom the chief Government of all Estates of this Realm, whether they be Ecclesiastical or Civil, in all causes doth appertain, and is not, nor ought to be, subject to any foreign jurisdiction ... We give not to our Princes the ministering either of God's Word, or of the Sacraments ... but that only prerogative, which we see to have been given always to all Godly Princes in holy Scriptures by God himself ; that is, that they should rule all estates and degrees committed to their charge by God, whether they be Ecclesiastical or Temporal, and restrain with the civil sword the stubborn and evildoer ...

In secret places of certain levels, there are cartridges of old school arcade games such as Snake, that can be picked up and played on the player's Temporal Uplink, the device that normally shows the map of the current level.

Therefore almost every one of these episodes is ( at least indirectly ) mentioned in the novel and put into a context within the events of the Temporal Cold War.

* Consuedo, vel, Lex Mercatoria: or, The Law Merchant: Divided into three parts, according to the Essential Parts of Traffick Necessary for All Statesmen, Judges, Magistrates, Temporal and Civil Lawyers, Mint-Men, Merchants, Mariners and Others Negotiating in all Places of the World.

Temporal engineers could now generate a field of " physiotime ", or Eternity, a realm outside of normal time, large enough to enclose men and equipment, and use it to reach into the future.

In the meantime, Archer is pulled into the future by Temporal Agent Daniels, who warns him not to board the Xindi weapon platform.

In 3rd edition products, some of the detail of Temporal Prime became incorporated into the " Temporal Energy Plane " mentioned in the 3rd edition Manual of the Planes.

After their successful Xindi mission and an unexpected detour into an alternate timeline where Temporal Cold War factions helped Nazi Germany conquer America, Captain Archer and his weary surviving crew finally return to Earth.

Properties to be verified are expressed as Linear Temporal Logic ( LTL ) formulas, which are negated and then converted into Büchi automata as part of the model-checking algorithm.

; Temporal coupling: When two actions are bundled together into one module just because they happen to occur at the same time.