| rdfs:comment
| - Temporální logika je široké spektrum formálních systémů, jejichž společným cílem je formalizovat a analyzovat věty obsahující časové (temporální) komponenty jako někdy, vždy či dokud. Kromě původních, spíše lingvistických a filosofických motivací nachází temporální logika od poslední třetiny dvacátého století uplatnění i v informatice a umělé inteligenci. (cs)
- Temporale Logiken oder Zeitlogiken sind Erweiterungen der Logik, durch die zeitliche Abläufe erfasst werden können. Es handelt sich um Anwendungen der Modallogik, die auf einer Vorher-Nachher-Beziehung zwischen Zeitpunkten basieren. Ob daraus eine dichte oder diskrete Zeitordnung entsteht, ist von der Bestimmung dieser Relation abhängig. (de)
- 논리학에서 시간 논리(時間論里, temporal logic)는 시간의 개념을 나타낼 수 있는 논리 체계를 이르는 말이다. 특히 시제 논리(時制論里, tense logic)라 하면 양상 논리를 기반으로 한 시간 논리를 가리키는 말로, 선형 시제 논리와 계산 트리 논리 등이 알려져 있으며 컴퓨터 과학 분야에서 중요하게 응용되고 있다. (ko)
- 時相論理（Temporal Logic）とは、時間との関連で問題を理解し表現するための規則と表記法の体系である。時相論理では、「私はいつも腹ペコだ」、「私はそのうち腹ペコになる」、「私は何かを食べるまで腹ペコだろう」といった文を表現できる。1950年代末にが提唱した様相論理に基づいた時相論理を特に時制論理（Tense Logic）と呼ぶことがある。が重要な業績を残した。その後、そこから発展し、アミール・プヌーリら計算機科学者や論理学者が研究を進めた。 時相論理はシステムのハードウェアやソフトウェアの要求仕様を記述する方法として形式的検証で利用される。例えば、「要求が発生したら常にリソースへのアクセスがそのうちに承認される。ただし、決して2つの要求を同時に承認してはならない」といった文章は時相論理で表せる。 (ja)
- Темпоральная логика (временна́я логика; англ. temporal logic) — логика, в высказываниях которой учитывается временной аспект. Используется для описания последовательностей явлений и их взаимосвязи по временной шкале. В древности применение логики во временно́м аспекте изучали философы мегарской школы, в частности Диодор Крон, и стоики. Современная символическая темпоральная логика, впервые концептуализированная и сформулированная в 1950-е годы на основе модальной логики, наибольшее распространение и развитие получила в информатике благодаря трудам лауреата Тьюринговской премии Амира Пнуэли. (ru)
- Em lógica, lógica temporal é qualquer sistema de regras e símbolos para representar e dissertar sobre proposições qualificadas em termos de tempo. Em lógica temporal, pode-se então expressar sentenças como "Eu estou sempre com fome", "Eu eventualmente estarei com fome" ou "Eu estarei com fome até eu comer algo". Lógica temporal é algumas vezes também usada para se referir a um sistema particular de lógica temporal baseada em lógica modal, introduzida por Arthur Prior no final da década de 1950; e com importantes resultados obtidos por Hans Kamp. Subsequentemente, tem sido desenvolvida por cientistas da computação, como Amir Pnueli; e lógicos. (pt)
- 在逻辑中，术语时间逻辑被用来描述为表现和推理关于时间限定的命题的规则和符号化的任何系统。它有时也被称为时态逻辑，这是 在1960年代介入的基于模态逻辑的特殊的时间逻辑系统。它后来被计算机科学家特别是 (阿米尔·伯努利) 和逻辑学家进一步的开发。中国著名计算机科学家唐稚松在这一领域亦有较深入的研究，并写有专著《时序逻辑程序设计与软件工程》。 时间逻辑首先被亚里士多德深入研究过，他的著作中有粗糙形式的一阶时间模态二值逻辑。使用存在量词或全称量词的任何逻辑都叫做一阶逻辑。把时间看作状态的序列的任何逻辑都是时间逻辑，只使用两个真值的任何逻辑都是二值逻辑。 考虑陈述："我饿了"。尽管它的意思随时间恒定，但这个陈述的真值随时间可变。有时这个陈述为真，有时这个陈述为假，但是这个陈述不能同时为真并且为假。在时间逻辑中，陈述可以有随时间变化的真值。与之相对的是非时间逻辑，它只能处理有着随时间恒定的真值的陈述。 三个基本时间算子是：总是、有时、和永不。 （CTL）、线性时序逻辑（LTL）和（ITL）是时间逻辑的例子。 (zh)
- La lògica temporal és un tipus de lògica modal usada per a descriure un sistema de regles i simbolismes per a la representació i el raonament sobre proposicions en les quals té presència el factor temps. Hi ha una certa relació amb altres varietats de lògica, per exemple, la lògica modal. El seu estudi té una certa importància dins l'estudi de la informàtica, en particular els desenvolupaments introduïts per Amir Pnueli. (ca)
- Στη λογική, ο όρος χρονική λογική (Αγγλικά: temporal logic) χρησιμοποιείται για να περιγράψει κάθε σύστημα κανόνων και συμβολισμού για την αναπαράσταση και συλλογιστική προτάσεων που χρησιμοποιούν το χρόνο. Κάποιες φορές χρησιμοποιείται σαν αναφορά στην tense logic, ένα σύστημα βασισμένο στην που δημιουργήθηκε από τον Άρθουρ Πράιορ κατά τη δεκαετία του 1960. Η ανάπτυξη της χρονικής λογικής συνεχίστηκε από τους επιστήμονες της επιστήμης των υπολογιστών, ειδικά από τον Αμιρ Πνουέλι και τους επιστήμονες της λογικής. (el)
- La tempa logiko estas etendo de la modala logiko, kiu estas praktike uzata en sistemoj de reguloj, kie gravas la nocio de tempo. Ekzistas ia rilato kun aliaj variaĵoj de logiko, por ekzemplo, la modala logiko. Ties studo havas gravon en la informadiko ĝis aktuale. La tempa logiko estis jam studita de Aristotelo; en kelkaj de liaj verkoj estas esprimoj kiuj montras ian analogion kun la tempa logiko de unua ordo; tiel aperas esprimoj kun ekzistokvantigiloj kaj universalaj kvantigiloj. (eo)
- La lógica temporal es una extensión de la lógica modal, la cual es prácticamente usada en sistemas de reglas, donde está presente el tiempo. Existe una cierta relación con otras variedades de lógica, por ejemplo, la lógica modal. Su estudio tiene importancia en la informática hasta nuestros días. (es)
- In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am always hungry", "I will eventually be hungry", or "I will be hungry until I eat something"). It is sometimes also used to refer to tense logic, a modal logic-based system of temporal logic introduced by Arthur Prior in the late 1950s, with important contributions by Hans Kamp. It has been further developed by computer scientists, notably Amir Pnueli, and logicians. (en)
- La logique temporelle est une branche de la logique mathématique et plus précisément de la logique modale, qui est formalisée de plusieurs manières. La caractéristique commune de ces formalisations réside en l'ajout de modalités (autrement dit de « transformateurs de prédicats ») liées au temps ; par exemple, une formule typique de la logique modale est la formule , qui se lit : « la formule est satisfaite jusqu'à ce que la formule le soit » et qui signifie que l'on cherche à garantir qu'une certaine propriété (ici ) est satisfaite pendant tout le temps qui court avant qu'une autre formule (ici ) le soit. (fr)
- Logika temporalna – logika umożliwiająca rozważanie zależności czasowych bez wprowadzania czasu explicite. Pierwotnie służyła jako narzędzie do filozoficznych rozważań nad naturą czasu, dzisiaj jest używana głównie w informatyce. Czas można wprowadzić do zwykłego rachunku predykatów pierwszego rzędu.Np. aby powiedzieć, że zawsze, kiedy jedzie pociąg, szlaban musi być opuszczony (żeby uniknąć wypadku), oraz że dla każdej chwili szlaban kiedyś się podniesie (aby samochody mogły w końcu przejechać), możemy napisać: Dowodzenie twierdzeń w tak ogólnej notacji może być jednak trudne. (pl)
- Tijdslogica's of temporele logica's kunnen worden gezien als uitbreiding van de propositielogica, de predicatenlogica, de modale logica of de . Hierbij is er extra formele apparatuur om uit te drukken of iets in het verleden, het heden, de toekomst het geval is, mogelijk het geval is, of het in een mogelijke toekomst het geval is, enzovoorts. Met andere woorden kan temporele informatie met het formele systeem verwerkt worden. Voorbeelden van tijdslogica's zijn die van en die van Hans Reichenbach. (nl)
- Темпоральна логіка (англ. temporal logic) в сучасній некласичній логіці — логіка, яка враховує причинно-наслідкові зв'язки в умовах часу. Використовується для опису послідовностей явищ та їх взаємозв'язку з часовою шкалою. Вона була розроблена в 1960-х на основі модальної логіки і отримала подальший розвиток у інформатиці завдяки праці лауреата Премії Тюрінга Аміра Пнуелі. В античності теорії темпоральних логік вивчали філософи мегарської школи, зокрема, Діодор Крон та стоїки. Є два підходи темпоральної логіки, засновані на принципах здорового глузду і діалектики: (uk)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)