TEMPORAL LOGIC in Portuguese translation

• lógica temporal
• temporal logic

Examples of using Temporal logic in English and their translations into Portuguese

CTL then combines these propositions into formulas using logical operators and temporal logics.
LAC então combina essas proposições em fórmulas utilizando operadores lógicos e lógica temporal.

Issues such as this have also been addressed in various temporal logics, where one can assert that"Eventually, either there will
Questões como essa também têm sido abordadas em várias lógicas temporais, onde se pode afirmar que"Eventualmente, ou haverá uma batalha naval amanhã,

Model checking is an automatic formal technique that allows verification of finite-state concurrent systems under properties described in temporal logics by employing verification algorithms that exhaustively assess the correctness of the system under consideration.
Verificação de modelos é uma técnica formal automática que permite a verificação de sistemas concorrentes de estados finitos sob propriedades descritas em lógicas temporais através do emprego de algoritmos que avaliam exaustivamente o sistema sob consideração.

Subsequently LTL is sometimes called propositional temporal logic, abbreviated PTL.
Posteriormente LTL é às vezes chamado lógica proposicional temporal, abreviado PTL.

Temporal logic has found an important application in formal verification,
Lógica temporal encontrou uma importante aplicação em verificação formal,

In logic, temporal logic is any system of rules
Em lógica, lógica temporal é qualquer sistema de regras

Instead a temporal logic formula can talk about two unrelated parts of a system,
Ao contrário, uma fórmula lógica temporal pode falar de duas partes independentes de um sistema,

now also known as temporal logic, and made important contributions to intensional logic,
agora também conhecida como lógica temporal, e fez importantes contribuições à lógica intensional,

A temporal logic driven by clocks
Uma lógica temporal orientada por relógios

To alleviate this problem, linear temporal logic is usually used in conjunction with the tableau method to prove that such states cannot be reached.
Por essas razões, a lógica linear temporal com o método de tableau é geralmente utilizado para provar que tais estados não podem ser alcançados.

we do not know enough about"the temporal logic that Bakhtin espoused" p.167.
não sabemos o suficiente sobre"a lógica temporal adotada por Bakhtin" p.189.

Specification language One of the applications of linear temporal logic is the specification of preferences in the Planning Domain Definition Language for the purpose of preference-based planning.
Especificação de linguagem Uma das aplicações da lógica temporal linear é a especificação de preferências no Planejamento de Domínio da Linguagem de Definição para o propósito de preferência baseada em planejamento.

Details==Statements in temporal logic are of the form formula_1,
Detalhes==Declarações na lógica temporal são da forma formula_1,

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,
Lógica temporal é algumas vezes também usado para se referir a um particular sistema de lógica temporal baseada em Lógica Modal, introduzida por Arthur Prior no final dos anos 50,

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,
Lógica temporal é algumas vezes também usado para se referir a um particular sistema de lógica temporal baseada em Lógica Modal, introduzida por Arthur Prior no final dos anos 50,

In a temporal logic we can then express statements like"I am"always" hungry","I will"eventually" be hungry",
Em lógica temporal nós podemos então expressar sentenças como"Eu"estou" sempre com fome","Eu"eventualmente" estarei com fome",

expressed as a temporal logic formula"p", and a structure"M" with initial state"s", decide if formula_1.
expressa como uma lógica temporal p, e uma estrutura M com estado inicial s, decida se formula_1.

Two early contenders in formal verifications were linear temporal logic(a linear time logic by Amir Pnueli)
Dois candidatos iniciais em verificações formais foram Lógica Temporal Linear(uma lógica de tempo linear por Amir Pnueli)

Automata-theoretic linear temporal logic model checking An important way to model check is to express desired properties(such as the ones described above)
Autômatos teórico lógica temporal linar modelo de verificação Uma maneira importante de verificar o modelo é expressar propriedades desejadas(como as descritas acima)

expressed as a temporal logic formula p, and a structure M with initial state s,
expressa como uma lógica temporal p, e uma estrutura M com estado inicial s,