Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Temporal_logic> ?p ?o. }
Showing items 1 to 37 of
37
with 100 items per page.
- Temporal_logic abstract "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.".
- Temporal_logic wikiPageExternalLink logic-temporal.
- Temporal_logic wikiPageExternalLink TempLog.pdf.
- Temporal_logic wikiPageExternalLink ~pat.
- Temporal_logic wikiPageExternalLink 25mc.ps.gz.
- Temporal_logic wikiPageExternalLink sa.ps.gz.
- Temporal_logic wikiPageExternalLink cadp.
- Temporal_logic wikiPageID "321481".
- Temporal_logic wikiPageRevisionID "581869840".
- Temporal_logic hasPhotoCollection Temporal_logic.
- Temporal_logic subject Category:Temporal_logic.
- Temporal_logic comment "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 label "Logika temporalna".
- Temporal_logic label "Logique temporelle".
- Temporal_logic label "Lógica temporal".
- Temporal_logic label "Lógica temporal".
- Temporal_logic label "Temporal logic".
- Temporal_logic label "Temporale Logik".
- Temporal_logic label "Tijdslogica".
- Temporal_logic label "Темпоральная логика".
- Temporal_logic label "时间逻辑".
- Temporal_logic label "時相論理".
- Temporal_logic sameAs Temporální_logika.
- Temporal_logic sameAs Temporale_Logik.
- Temporal_logic sameAs Χρονική_λογική.
- Temporal_logic sameAs Lógica_temporal.
- Temporal_logic sameAs Logique_temporelle.
- Temporal_logic sameAs 時相論理.
- Temporal_logic sameAs Tijdslogica.
- Temporal_logic sameAs Logika_temporalna.
- Temporal_logic sameAs Lógica_temporal.
- Temporal_logic sameAs m.01vkqn.
- Temporal_logic sameAs Mx4rvYipj5wpEbGdrcN5Y29ycA.
- Temporal_logic sameAs Q781833.
- Temporal_logic sameAs Q781833.
- Temporal_logic wasDerivedFrom Temporal_logic?oldid=581869840.
- Temporal_logic isPrimaryTopicOf Temporal_logic.