TENSE LOGIC - Definition and synonyms of tense logic in the English dictionary

WHAT DOES TENSE LOGIC MEAN IN ENGLISH?

Temporal logic

In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. In a temporal logic we can then express statements like "I am always hungry", "I will eventually be hungry", or "I will be hungry until I eat something". 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 were obtained by Hans Kamp. Subsequently it has been developed further by computer scientists, notably Amir Pnueli, and logicians. Temporal logic has found an important application in formal verification, where it is used to state requirements of hardware or software systems. For instance, one may wish to say that whenever a request is made, access to a resource is eventually granted, but it is never granted to two requestors simultaneously. Such a statement can conveniently be expressed in a temporal logic.

Definition of tense logic in the English dictionary

The definition of tense logic in the dictionary is the study of the logical properties of tense operators, and of the logical relations between sentences having tense, by means of consideration of appropriate formal systems.

WORDS THAT BEGIN LIKE TENSE LOGIC

WORDS THAT END LIKE TENSE LOGIC

WORDS RELATING TO «TENSE LOGIC»

tense logic tense logic temporal system rules symbolism representing reasoning about propositions qualified terms time then express statements like always hungry will eventually until something sometimes also used refer particular stanford encyclopedia philosophy adding operators existing above this tacitly assumed classical propositional technical which branch tion devoted fairly detailed exposition basic times ulrich meyer abstract often said possess insufficient expressive resources showing obtain quantification over define study logical properties relations between sentences having means wordpress methods

TRANSLATION OF TENSE LOGIC

Find out the translation of tense logic to 25 languages with our English multilingual translator.

The translations of tense logic from English to other languages presented in this section have been obtained through automatic statistical translation; where the essential translation unit is the word «tense logic» in English.

Translator English - Chinese

时态逻辑

1,325 millions of speakers

Translator English - Spanish

lógica tensa

570 millions of speakers

English

tense logic

510 millions of speakers

Translator English - Hindi

तनाव में तर्क

380 millions of speakers

Translator English - Arabic

المنطق المتوتر

280 millions of speakers

Translator English - Russian

напряженной логика

278 millions of speakers

Translator English - Portuguese

lógica tenso

270 millions of speakers

Translator English - Bengali

তীব্র যুক্তিবিদ্যা

260 millions of speakers

Translator English - French

la logique temporelle

220 millions of speakers

Translator English - Malay

Logik tegang

190 millions of speakers

Translator English - German

angespannt Logik

180 millions of speakers

Translator English - Japanese

緊張したロジック

130 millions of speakers

Translator English - Korean

시제 논리

85 millions of speakers

Translator English - Javanese

Logika tegang

85 millions of speakers

Translator English - Vietnamese

lý căng thẳng

80 millions of speakers

Translator English - Tamil

பதட்டமான தர்க்கம்

75 millions of speakers

Translator English - Marathi

ताण तर्कशास्त्र

75 millions of speakers

Translator English - Turkish

Gergin mantık

70 millions of speakers

Translator English - Italian

logica tesa

65 millions of speakers

Translator English - Polish

napięta logika

50 millions of speakers

Translator English - Ukrainian

напруженої логіка

40 millions of speakers

Translator English - Romanian

logică tensionată

30 millions of speakers

Translator English - Greek

τεταμένη λογική

15 millions of speakers

Translator English - Afrikaans

gespanne logika

14 millions of speakers

Translator English - Swedish

spänd logik

10 millions of speakers

Translator English - Norwegian

anspent logikk

5 millions of speakers

TENDENCIES OF USE OF THE TERM «TENSE LOGIC»

The term «tense logic» is used very little and occupies the 186.817 position in our list of most widely used terms in the English dictionary.

100%

FREQUENCY

Rarely used

/100

The map shown above gives the frequency of use of the term «tense logic» in the different countries.

Principal search tendencies and common uses of tense logic

english dictionary tense logic

synonyms for tense logic

online dictionary tense logic

tense logic translation

tense logic definition

tense logic antonyms

tense logic dictionary

thesaurus tense logic

tense logic dictionary app

translator tense logic

List of principal searches undertaken by users to access our English online dictionary and most widely used expressions with the word «tense logic».

FREQUENCY OF USE OF THE TERM «TENSE LOGIC» OVER TIME

The graph expresses the annual evolution of the frequency of use of the word «tense logic» during the past 500 years. Its implementation is based on analysing how often the term «tense logic» appears in digitalised printed sources in English between the year 1500 and the present day.

10 ENGLISH BOOKS RELATING TO «TENSE LOGIC»

Discover the use of tense logic in the following bibliographical selection. Books relating to tense logic and brief extracts from same to provide context of its use in English literature.

Handbook of Philosophical Logic

The volumes will no longer be as topic-oriented as with the first edition because of the way the subject has evolved over the last 15 years or so. However the volumes will follow some natural groupings of chapters.

Dov M. Gabbay, Franz Guenthner, 2002

Handbook of Modal Logic

Journal of Symbolic Logic, 37:716–720, Semantic analysis of tense logic. Journal of Symbolic Logic, 37:150–158, 1972. An incompleteness theorem in modal logic . Theoria, 40:30–34, 1974. Reduction of tense logic to modal logic I. Journal of ...

Patrick Blackburn, Johan F.A.K. van Benthem, Frank Wolter, 2006

Hybrid Logic and its Proof-Theory

The history of hybrid logic goes back to Arthur Prior's hybrid tense logic, which is a hybridized version of ordinary tense logic. Arthur Prior (1914–1969) is usually considered the founding father of modern temporal logic, his main contribution ...

Torben Braüner, 2010

Logic, Language, and Meaning: Intensional logic and logical ...

2.4 Propositional Tense Logic 2.4.1 Syntax and Semantics Technically speaking, tense logic is very closely related to modal logic. ln tense logic contexts become momeats in time, with earlier than as their accessibility relation. (This is the ...

L. T. F. Gamut, 1991

The Continuum Companion to Philosophical Logic

Is tense logic an adequate representation of the English verbal tenses? And if that is so, is tense logic also adequate vis-a-vis all the other temporal features of English? The answer to the first question in fact depends on what one understands ...

Leon Horsten, Richard Pettigrew, 2011

Facing the Future : Agents and Choices in Our Indeterminist ...

On the other hand, the technical devices and conceptual ideas of modal logic due especially to Kripke are essential to both plain or linear tense logic, and to the historical modalities of branching time. 8A.2 Prior's linear tense semantics Just as ...

Nuel Belnap Professor of Philosophy, Michael Perloff Professor of Philosophy, Ming Xu Visiting Assistant Instructor in the Department of Philosophy all at University of Pittsburgh, 2001

Temporal Logic: From Ancient Ideas to Artificial Intelligence

In the discussion of problems like 'the sea-fight tomorrow' we need more than modal logics and tense-logical systems like Kt and K. We also need metric tense logic, in which numerical durations are taken into consideration. In metric tense ...

Peter Øhrstrøm, Per F. V. Hasle, 1995

Conceptual Structures: Knowledge Representations as ...

In this paper it is argued that the founder of modern tense logic, A.N. Prior was very much inspired by the logic and philosophy of C.S. Peirce. It is also demonstrated how the most important tense logical systems of Prior, Kt, K0 and KS can be ...

Peter W. Eklund, Gerard Ellis, Graham Mann, 1996

The Oxford Handbook of Philosophy of Time

The model theory for quantified tense logic is more complicated than for propositional tense logic, but an axiomatic system can be obtained in a fairly straightforward fashion. We start out with our system of untensed quantificational logic that ...

Craig Callender, 2011

Formal Semantics and Pragmatics for Natural Languages

TIME SCHEMES, TENSE LOGIC AND THE ANALYSIS OF ENGLISH TENSES Only recently have linguists and philosophers of language begun to apply other logical systems than ordinary predicate logic in the area of formal semantics for ...

Franz Guenthner, Siegfried J. Schmidt, 1979

Meaning of "tense logic" in the English dictionary

PRONUNCIATION OF TENSE LOGIC

GRAMMATICAL CATEGORY OF TENSE LOGIC