Bedeutung von "tense logic" im Wörterbuch Englisch

AUSSPRACHE VON TENSE LOGIC AUF ENGLISCH

tense logic

GRAMMATIKALISCHE KATEGORIE VON TENSE LOGIC

Tense logic ist ein Substantiv.

Das Nomen oder Substantiv ist die Art Wort, dessen Bedeutung die Wirklichkeit bestimmt. Substantive benennen alle Dinge: Personen, Objekte, Empfindungen, Gefühle usw.

WAS BEDEUTET TENSE LOGIC AUF ENGLISCH

Zeitlogik

Temporal logic

In der Logik ist die zeitliche Logik jedes System von Regeln und Symbolik für die Repräsentation und Argumentation, zeitlich qualifizierte Sätze. In einer zeitlichen Logik können wir dann Aussagen wie "Ich bin immer hungrig" ausdrücken, "ich werde schließlich hungrig sein" oder "Ich werde hungrig sein, bis ich etwas esse". Die zeitliche Logik wird manchmal auch verwendet, um sich auf die angespannte Logik zu beziehen, ein bestimmtes modales Logik-basiertes System der zeitlichen Logik, das von Arthur Prior in den späten 1950er Jahren eingeführt wurde, und wichtige Ergebnisse wurden von Hans Kamp erhalten. Anschließend wurde es von Informatikern, insbesondere Amir Pnueli, und Logikern weiterentwickelt. Die zeitliche Logik hat eine wichtige Anwendung in der formalen Verifikation gefunden, wo sie verwendet wird, um Anforderungen von Hardware- oder Software-Systemen anzugeben. Zum Beispiel möchte man sagen, dass, wann immer eine Anfrage gestellt wird, der Zugriff auf eine Ressource schließlich gewährt wird, aber es wird niemals zwei Anlegern gleichzeitig gewährt. Eine solche Aussage kann bequem in einer zeitlichen Logik ausgedrückt werden.

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 von tense logic im Wörterbuch Englisch

Die Definition der Tempuslogik im Wörterbuch ist die Untersuchung der logischen Eigenschaften von Tempusoperatoren und der logischen Beziehungen zwischen Tempusspalten durch Berücksichtigung geeigneter formaler Systeme.

ÜBERSETZUNG VON TENSE LOGIC

Erfahre, wie die Übersetzung von tense logic auf 25 Sprachen mit unserem mehrsprachigen Übersetzer Englisch lautet.

Die Übersetzungen von tense logic auf andere Sprachen, die in diesem Bereich vorgestellt werden, sind zustande gekommen durch automatische statistische Übersetzung, wobei die Basiseinheit der Übersetzung das Wort «tense logic» in Englisch ist.

• Übersetzer Deutsch - Chinesisch: 时态逻辑
• Übersetzer Deutsch - Spanisch: lógica tensa
• Englisch: tense logic
• Übersetzer Deutsch - Hindi: तनाव में तर्क
• Übersetzer Deutsch - Arabisch: المنطق المتوتر
• Übersetzer Deutsch - Russisch: напряженной логика
• Übersetzer Deutsch - Portugiesisch: lógica tenso
• Übersetzer Deutsch - Bengalisch: তীব্র যুক্তিবিদ্যা
• Übersetzer Deutsch - Französisch: la logique temporelle
• Übersetzer Deutsch - Malaysisch: Logik tegang
• Übersetzer Deutsch - Deutsch: angespannt Logik
• Übersetzer Deutsch - Japanisch: 緊張したロジック
• Übersetzer Deutsch - Koreanisch: 시제 논리
• Übersetzer Deutsch - Javanisch: Logika tegang
• Übersetzer Deutsch - Vietnamesisch: lý căng thẳng
• Übersetzer Deutsch - Tamil: பதட்டமான தர்க்கம்
• Übersetzer Deutsch - Marathi: ताण तर्कशास्त्र
• Übersetzer Deutsch - Türkisch: Gergin mantık
• Übersetzer Deutsch - Italienisch: logica tesa
• Übersetzer Deutsch - Polnisch: napięta logika
• Übersetzer Deutsch - Ukrainisch: напруженої логіка
• Übersetzer Deutsch - Rumänisch: logică tensionată
• Übersetzer Deutsch - Griechisch: τεταμένη λογική
• Übersetzer Deutsch - Afrikaans: gespanne logika
• Übersetzer Deutsch - Schwedisch: spänd logik
• Übersetzer Deutsch - Norwegisch: anspent logikk

10 BÜCHER, DIE MIT «TENSE LOGIC» IM ZUSAMMENHANG STEHEN

Entdecke den Gebrauch von tense logic in der folgenden bibliographischen Auswahl. Bücher, die mit tense logic im Zusammenhang stehen und kurze Auszüge derselben, um seinen Gebrauch in der Literatur kontextbezogen darzustellen.

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