O Que é MODAL LOGICS em Português

• lógicas modais
• lógica modal

Exemplos de uso de Modal logics em Inglês e suas traduções para o Português

Combinations of non-normal modal logics.
Combinações de lógicas modais não-normais.

It was first made for modal logics, and later adapted to intuitionistic logic and other non-classical systems.
Ela foi feita primeiro para lógicas modais e, mais tarde adaptado para a lógica intuicionística e outros sistemas não-clássicos.

They may be viewed as a family of substructural or modal logics.
Eles podem ser vistos como uma família da lógica subestrutural ou lógica modal.

LoTREC A generic tableaux-based prover for modal logics from IRIT/Toulouse University.
LoTREC Um tableaux genérico baseado no provador para a lógica modal da universidade de IRIT/Toulouse.

His is a study on the feasibility of finite matrices as semantics for modal logics.
Esse é um estudo sobre a viabilidade de matrizes finitas como semântica para lógica modal.

In the second, we extend the non-deterministic matrices semantics to modal logics proposed independently by kearns and ivlev.
No segundo caso, ampliamos a semântica de matrizes não- determinísticas para lógica modal proposta independentemente por kearns e ivlev.

This mechanism for removing( θ){\displaystyle(\theta)} has been proved to preserve completeness for many modal logics.
Este mecanismo para a remoção de( θ){\displaystyle(\theta)} tem sido provado para preservar a integridade de muitas lógicas modais.

This is misleading at best, however, since alethic modal logics generally do not contain anything like Anderson's special v constant.
Isso é enganoso na melhor das hipóteses, no entanto, uma vez que alethic lógicas modais geralmente não contêm nada de especial como Anderson V constante.

This project aims to be an introductory study of first-order modal logics, i.e.
O objetivo deste projeto é realizar um estudo introdutório às lógicas modais de primeira ordem, i.e.

As for propositional logic, tableaux for modal logics are based on recursively breaking formulae into its basic components.
Como para a lógica proposicional, os tableaux para a lógica modal são baseados em recursivamente quebrar fórmulas em seus componentes básicos.

Completed(most recent) Abstract This project aims to be an introductory study of first-order modal logics, i.e.
O objetivo deste projeto é realizar um estudo introdutório às lógicas modais de primeira ordem, i.e.

Tableaux for modal logics are used to verify the satisfiability of a set of modal formulae in a given modal logic.
O tableaux para a lógica modal é utilizado para verificar a satisfatibilidade de um conjunto de fórmulas modais em uma dada lógica modal.

In particular:*IPC ρS4*KC ρS4.2*LC ρS4.3*CPC ρS5For every intermediate logic"L" there are many modal logics"M" such that"L" ρ"M.
Em particular:*IPC ρS4*KC ρS4.2*LC ρS4.3*CPC ρS5Para cada lógica intermediária"L" existem várias lógicas modais"M" tal qual"L" ρ"M.

It is vital to know which modal logics are sound and complete with respect to a class of Kripke frames, and to determine also which class that is.
É vital saber quais lógicas modais são sólidos e completos com relação a uma classe de estruturas de Kripke, e também para determinar qual a classe que é.

Truth-value semantics(also commonly referred to as"substitutional quantification") was advocated by Ruth Barcan Marcus for modal logics in the early 1960s and later championed by Dunn, Belnap, and Leblanc for standard first-order logic..
Valores-verdade semânticos(também comumente denominados de"quantificação substitucional") foi defendida por Ruth Barcan Marcus para lógicas modais no início da década de 1960, e posteriormente defendido por Dunn, Belnap, e Leblanc para a lógica de primeira ordem padrão.

In the case of modal logics, the collection of maximal consistent sets extending a theory T(closed under the necessitation rule) can be given the structure of a model of T, called the canonical model.
No caso da lógica modal, a coleção de conjuntos maximais estendem a teoria T,(fechada sob a regra de necessitarão) dada uma estrutura do modelo de T, chamada de modelo canônico.

His investigation aims to explore, in various aspects, the universal character of a powerful proof method, able to be used in classical and non-classical logics, in particular in propositional many-valued logics(deterministic and non- deterministic) in paraconsistent logics, in modal logics and in first order logic..
O presente trabalho tem por objetivo explorar, em diversas vertentes, o caráter universal de uma ferramenta poderosa de prova, apta a ser utilizada em lógicas clássicas e não clássicas, em particular em lógicas multivaloradas proposicionais(determinísticas e não-determinísticas), em lógicas paraconsistentes, em lógicas modais e na lógica de primeira ordem.

Then, we present notions of non-alethic modal logics. in the sixth chapter, we conclude with an activity that can be applied to high school students.
Em seguida, apresentamos noções de lógicas modais não aléticas e no sexto capítulo, finalizamos esse trabalho com uma atividade que pode ser aplicada para alunos no ensino médio.

Significantly, modal logics can be developed to accommodate most of these idioms; it is the fact of their common logical structure(the use of"intensional" sentential operators) that make them all varieties of the same thing.
Significativamente, lógicas modais podem ser construídas para acomodarem a maioria desses idiomas; é fato que sua estrutura lógica comum faz com que todas variem a partir da mesma coisa.

Correspondence is also used to show incompleteness of modal logics: suppose L1⊆ L2 are normal modal logics that correspond to the same class of frames, but L1 does not prove all theorems of L2.
A correspondência também é usada para mostrar a incompletude de lógicas modais: suponha L1⊆ L2 são lógicas modais normais que correspondem à mesma classe de estruturas, mas L1 não prova todos os teoremas de L2.

Hilbert systems for propositional modal logics, sometimes called Hilbert-Lewis systems, are generally axiomatised with two additional rules, the necessitation rule and the uniform substitution rule.
Sistemas de Hilbert para a lógica modal proposicional, chamados de Sistemas de Hilbert-Lewis, são geralmente axiomatizados com mais duas regras adicionais, a regra da necessitação e a regra da substituição uniforme.

Correspondence is also used to show"incompleteness" of modal logics: suppose"L"1⊆"L"2 are normal modal logics thatcorrespond to the same class of frames, but"L"1 does notprove all theorems of"L"2.
A correspondência também é usada para mostrar a incompletude de lógicas modais: suponha"L"1⊆"L"2 são lógicas modais normais que correspondem à mesma classe de estruturas, mas"L"1 não prova todos os teoremas de"L"2.

Technically, tableaux for modal logics check the satisfiability of a set of formulae: they check whether there exists a model M{\displaystyle M} and world w{\displaystyle w} such that the formulae in the set are true in that model and world.
Tecnicamente, os tableaux para a lógica modal verificam a satisfatibilidade de um conjunto de fórmulas: eles verificam se existe um modelo de M{\displaystyle M} e do mundo w{\displaystyle w} de tal forma que as fórmulas do conjunto são verdadeiras, nesse modelo e mundo.

The smallest logic satisfying the above conditions is called K. Most modal logics commonly used nowadays(in terms of having philosophical motivations), e.g. C. I. Lewis's S4 and S5, are extensions of K. However a number of deontic and epistemic logics, for example, are non-normal, often because they give up the Kripke schema.
A menor lógica que satisfaz as condições acima é chamada K. A maioria das lógicas modais comumente usadas hoje em dia(em termos de possuírem motivações filosóficas); por exemplo, S4 e S5(de C. I. Lewis) são extensões de K. Contudo um número de lógicas deotônicas e epistêmicas, por exemplo, são não-normais, geralmente porque elas não utilizam a semântica de Kripke.

Standard translation, an embedding of modal logics into first-order logic which captures their possible world semantics N-universes Modal fictionalism Fictionalism Impossible world See"A Priori and A Posteriori"(author: Jason S. Baehr), at Internet Encyclopedia of Philosophy:"A necessary proposition is one the truth value of which remains constant across all possible worlds.
Standard translation, uma imersão de lógicas modais em Lógica de primeira ordem que captura a semântica dos mundos possíveis N-universos Fictionalismo modal Fictionalismo Lógica Modal See"A Priori and A Posteriori"(author: Jason S. Baehr), at Internet Encyclopedia of Philosophy:"A necessary proposition is one the truth value of which remains constant across all possible worlds.

There are Kripke incomplete normal modal logics, which is unproblematic, because most of the modal systems studied are complete of classes of frames described by simple conditions.
Existem Kripke incompletos lógicas modais normais, que não é um problema, porque a maioria dos sistemas modais estudados são completa de classes de quadros descritos por condições simples.

There are Kripke incomplete normal modal logics, which is not a problem, because most of the modal systems studied are complete of classes of frames described by simple conditions.
Existem lógicas modais normais Kripke-incompletas, o que não é um problema, porque a maioria dos sistemas modais estudados são classes completas de estruturas descritas por condições simples.