# Temporal Logic

Why Trust Techopedia

## What Does Temporal Logic Mean?

Temporal logic is a branch of symbolic logic which is concerned with problems on propositions that have truth values dependent on time. Temporal logic is considered a variant of modal logic, which is a branch of logic dealing with propositions that can be expressed as a set of possible worlds. Temporal logic is used to touch all approaches to reasoning and representation based on time.

Advertisements

Applications of temporal logic include use in reasoning in philosophical issues based on time, as a language in artificial language for encoding temporal knowledge, and as tool for formal analysis, specification and verification of hardware and software requirements of computer applications and systems.

## Techopedia Explains Temporal Logic

One of the salient features of temporal propositions is that it mostly has either implicit or explicit references to time conditions. This is in contrast to classical logic, which focuses on timeless propositions. Temporal logic is one of the best and most appropriate means for reasoning with time-related propositions, thanks to the temporal quantifiers. Although classical logic can deal with temporal properties, the formulas often tend to be complicated as points of time need to be represented.

The concept of temporal logic was first introduced by Arthur Prior in 1960 under "tense logic" which was further broadened by other computer scientists and logicians. Temporal logic is not focused on the truth or falsity of formulas, rather is focused on the formulas which remain true through the flow of time, even if valuation is altered.

Temporal logic has two types of operators: modal operators and logical operators. Model operators are largely used in computation tree logic and linear temporal logic, whereas logical operators are mostly truth-functional operators. Signal temporal logic, interval temporal logic, metric interval temporal logic, linear temporal logic, computational tree logic and others form parts of temporal logic.

Advertisements

#### Related Terms

Editor
##### Margaret Rouse
Editor

Margaret jest nagradzaną technical writerką, nauczycielką i wykładowczynią. Jest znana z tego, że potrafi w prostych słowach pzybliżyć złożone pojęcia techniczne słuchaczom ze świata biznesu. Od dwudziestu lat jej definicje pojęć z dziedziny IT są publikowane przez Que w encyklopedii terminów technologicznych, a także cytowane w artykułach ukazujących się w New York Times, w magazynie Time, USA Today, ZDNet, a także w magazynach PC i Discovery. Margaret dołączyła do zespołu Techopedii w roku 2011. Margaret lubi pomagać znaleźć wspólny język specjalistom ze świata biznesu i IT. W swojej pracy, jak sama mówi, buduje mosty między tymi dwiema domenami, w ten…