temporal logic

collocation in English

meaningsoftemporalandlogic

These words are often used together. Click on the links below to explore the meanings. Or,see other collocations withlogic.
temporal
adjective
uk
/ˈtem.pər.əl/us
/ˈtem.pɚ.əl/
formal
relating to practical matters or physical things, rather than ...
See more attemporal
logic
noun[U]
uk
/ˈlɒdʒ.ɪk/us
/ˈlɑː.dʒɪk/
a particular way of thinking, especially one that is reasonable and based on ...
See more atlogic

(Definition oftemporalandlogicfrom theCambridge English Dictionary© Cambridge University Press)

Examplesoftemporal logic

These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.
We accomplish automated verification using atemporallogicand model-checking techniques, allowing us to reuse existing algorithms and results for trace effect verification.
From theCambridge English Corpus
Section 3 defines the specification language (a version of lineartemporallogic) in which the security properties are expressed.
From theCambridge English Corpus
Potentially, harnessingtemporallogicoffers much more than this in modelling the argumentation process.
From theCambridge English Corpus
This fragment of the -calculus is more expressive than linear-timetemporallogic.
From theCambridge English Corpus
Thanks to the existing decision procedures,temporallogicis also very useful for automatic verification, for example by model checking.
From theCambridge English Corpus
Atemporallogicfor reasoning about processes and plans.
From theCambridge English Corpus
This would provide further evidence for our conjecture that much oftemporallogiccan be generalized to the intuitionistic case.
From theCambridge English Corpus
Design and synthesis of synchronization skeletons using branching timetemporallogic.
From theCambridge English Corpus
Usingtemporallogic, a new logical framework for specifying and analyzing precedence constraints underlying routesequence planning is proposed.
From theCambridge English Corpus
We give a formal specification of scopes and event mappings within a trace-based formalism adapted fromtemporallogic.
From theCambridge English Corpus
Branching within time: an expressively complete and elementarily decidabletemporallogicfor time granularity.
From theCambridge English Corpus
Ontologies for pervasive computing environments will require logical models that include spatial andtemporallogic, geometry and other quantitative reasoning.
From theCambridge English Corpus
The limited popularity of the algebraic approach totemporallogicis partly due to the lack of a convincing presentation.
From theCambridge English Corpus
Temporallogicfor reasoning about processes and plans.
From theCambridge English Corpus
We emphasise that we do not set out to formulate an improved general tense and aspect theory ortemporallogic.
From theCambridge English Corpus
Considering history and liveness properties based ontemporallogicis another possible way of extension.
From theCambridge English Corpus
Refinement and a property semantics (temporallogic) are defined; the latter is shown to be sound with respect to the former.
From theCambridge English Corpus
These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.
Want to learn more?
Go to the definition oftemporal
Go to the definition oflogic
See other collocations withlogic