Temporal logic
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.
known for
main interest
notableIdea
Wikipage disambiguates
Wikipage redirect
Allen's interval algebraAlternating-time temporal logicAmir PnueliArthur PriorAvicennaBelief–desire–intention software modelCPN-AMICTL*Charles Leonard HamblinChild developmentChina Energy Research ReportChristel BaierClaudio E.A. PizziCommon Algebraic Specification LanguageComputation tree logicConcurrency (computer science)Concurrent MetateMCulture of IsraelDana ScottDepartment of Mathematical Logic (Bulgarian Academy of Sciences)Description logicDoron A. PeledDov GabbayDrinker paradoxDuality (mathematics)Duration calculusDynamic logic (modal logic)Early Islamic philosophyEventually (mathematics)Faron MollerFormal verificationGabbay's separation theoremGrigore RosuGödel PrizeHPO formalismHans KampHarry R. LewisHistory of logicHistory of mathematical notationHybrid logic
Link from a Wikipage to another Wikipage
main interests
notable ideas
primaryTopic
Temporal logic
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.
has abstract
Em lógica, lógica temporal é q ...... ientemente em lógica temporal.
@pt
In logic, temporal logic is an ...... expressed in a temporal logic.
@en
La logique temporelle est une ...... sécurité n'est pas satisfaite.
@fr
La lògica temporal és un tipus ...... certa i falsa simultàniament.
@ca
La lógica temporal es una exte ...... ierta y falsa simultáneamente.
@es
Logika temporalna – logika umo ...... giki używające czasu ciągłego.
@pl
Temporale Logiken oder Zeitlog ...... mung dieser Relation abhängig.
@de
Temporální logika je odvětví l ...... a ITL jsou temporální logiky.
@cs
Tijdslogica's of temporele log ...... n en die van Hans Reichenbach.
@nl
Στη λογική, ο όρος χρονική λογ ...... θεί με την ίδια πολυπλοκότητα.
@el
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,025,380,948
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
comment
Em lógica, lógica temporal é q ...... r como Amir Pnueli, e lógicos.
@pt
In logic, temporal logic is an ...... ly Amir Pnueli, and logicians.
@en
La logique temporelle est une ...... autre formule (ici ) le soit.
@fr
La lògica temporal és un tipus ...... ts introduïts per Amir Pnueli.
@ca
La lógica temporal es una exte ...... formática hasta nuestros días.
@es
Logika temporalna – logika umo ...... otacji może być jednak trudne.
@pl
Temporale Logiken oder Zeitlog ...... mung dieser Relation abhängig.
@de
Temporální logika je odvětví l ...... k pod tímto operátorem „prší“.
@cs
Tijdslogica's of temporele log ...... n en die van Hans Reichenbach.
@nl
Στη λογική, ο όρος χρονική λογ ...... τους επιστήμονες της λογικής.
@el
label
Logika temporalna
@pl
Logique temporelle
@fr
Lògica temporal
@ca
Lógica temporal
@es
Lógica temporal
@pt
Tempa logiko
@eo
Temporal logic
@en
Temporale Logik
@de
Temporální logika
@cs
Tijdslogica
@nl