영어 사전에서 "tense logic" 뜻

영어 에서 TENSE LOGIC 의 발음

tense logic

영어에서 TENSE LOGIC 의 뜻은 무엇인가요?

임시 논리

Temporal logic

논리에서, 시간 논리는 시간의 자격을 갖춘 명제를 표현하고 추론하기위한 규칙과 상징의 체계입니다. 시간 논리에서 우리는 "나는 항상 배고프다", "결국 나는 배고프다", 또는 "내가 먹을 때까지 배가 고프다"와 같은 표현을 표현할 수있다. 시간 논리는 때로는 1950 년대 후반에 Arthur Prior가 도입 한 시간 논리의 특정한 모달 논리 기반 시스템 인 시제 논리를 나타 내기 위해 사용되며 한스 캄프 (Hans Kamp)가 중요한 결과를 얻었습니다. 이후 컴퓨터 과학자, 특히 Amir Pnueli와 논리 학자들에 의해 더 발전되었습니다. 임시 논리는 하드웨어 또는 소프트웨어 시스템의 요구 사항을 설명하는 데 사용되는 공식 검증에 중요한 응용 프로그램을 찾았습니다. 예를 들어, 요청이 이루어질 때마다 자원에 대한 액세스가 결국 부여되지만 동시에 두 요청자에게 부여되지는 않는다고 말할 수 있습니다. 그러한 진술은 일시적인 논리로 편리하게 표현 될 수있다.

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.

영어 사전에서 tense logic 의 정의

사전에 긴장된 논리의 정의는 긴장된 연산자의 논리적 속성에 대한 연구와 적절한 형식 체계에 대한 고려를 통해 긴장된 문장 간의 논리적 관계를 연구하는 것입니다.

TENSE LOGIC 의 번역

영어 다중 언어 번역기 를 사용해 tense logic 의 25개국어 번역을 확인해보세요

자동 통계기반 번역을 통해 영어 에서 이 항목에 표시된 다른 언어로 tense logic 번역 이 이루어집니다. 이 항목의 기본적인 번역 단위는 영어 단어 «tense logic» 입니다.

• 영어 - 중국어 번역기: 时态逻辑
• 영어 - 스페인어 번역기: lógica tensa
• 영어: tense logic
• 영어 - 힌디어 번역기: तनाव में तर्क
• 영어 - 아랍어 번역기: المنطق المتوتر
• 영어 - 러시아어 번역기: напряженной логика
• 영어 - 포르투갈어 번역기: lógica tenso
• 영어 - 벵골어 번역기: তীব্র যুক্তিবিদ্যা
• 영어 - 프랑스어 번역기: la logique temporelle
• 영어 - 말레이어 번역기: Logik tegang
• 영어 - 독일어 번역기: angespannt Logik
• 영어 - 일본어 번역기: 緊張したロジック
• 영어 - 한국어 번역기: 시제 논리
• 영어 - 자바어 번역기: Logika tegang
• 영어 - 베트남어 번역기: lý căng thẳng
• 영어 - 타밀어 번역기: பதட்டமான தர்க்கம்
• 영어 - 마라티어 번역기: ताण तर्कशास्त्र
• 영어 - 터키어 번역기: Gergin mantık
• 영어 - 이탈리아어 번역기: logica tesa
• 영어 - 폴란드어 번역기: napięta logika
• 영어 - 우크라이나어 번역기: напруженої логіка
• 영어 - 루마니아어 번역기: logică tensionată
• 영어 - 그리스어 번역기: τεταμένη λογική
• 영어 - 아프리칸스어 번역기: gespanne logika
• 영어 - 스웨덴어 번역기: spänd logik
• 영어 - 노르웨이어 번역기: anspent logikk

«TENSE LOGIC» 관련 영어 책

다음 도서 목록 항목에서 tense logic 의 용법을 확인하세요. tense logic 에 관련된 책과 해당 책의 짧은 발췌문을 통해 영어 서적에서 단어가 사용되는 맥락을 제공합니다.

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