Baixe o aplicativo
educalingo
Pesquisar

Significado de "modal logic" no dicionário inglês

Dicionário
DICIONÁRIO
section

PRONÚNCIA DE MODAL LOGIC EM INGLÊS

modal logic play
facebooktwitterpinterestwhatsapp

CATEGORIA GRAMATICAL DE MODAL LOGIC

substantivo
adjetivo
verbo
advérbio
pronome
preposição
conjunção
determinante
exclamação
Modal logic e um substantivo.
O nome ou substantivo é o tipo de palavras cujo significado determina a realidade. Os substantivos denominam todas as coisas: pessoas, objetos, sensações, sentimentos, etc.

O QUE SIGNIFICA MODAL LOGIC EM INGLÊS

Clique para ver a definição original de «modal logic» no dicionário inglês.
Clique para ver a tradução automática da definição em português.

Lógica modal

Modal logic

A lógica modal é um tipo de lógica formal desenvolvida principalmente na década de 1960 que amplia a lógica proposicional e predicada clássica para incluir operadores que expressam a modalidade. Modais - palavras que expressam modalidades - qualificam uma declaração. Por exemplo, a declaração "John is happy" pode ser qualificada dizendo que John geralmente é feliz, caso em que o termo "geralmente" está funcionando como modal. As modalidades alethic tradicionais, ou as modalidades da verdade, incluem possibilidade, necessidade e impossibilidade. Outras modalidades que foram formalizadas na lógica modal incluem modalidades temporais, ou modalidades de tempo, modalidades deonticas, modalidades epistêmicas ou modalidades de conhecimento e modalidades doxásticas, ou modalidades de crença. Uma lógica modal modal representa modalidades usando operadores modais. Por exemplo, "Pode chover hoje" e "É possível que a chuva caia hoje", ambos contêm a noção de possibilidade. Em uma lógica modal, isso é representado como um operador, possivelmente, anexado à frase "Ele vai chover hoje". Os operadores unários básicos unários geralmente são escritos □ para Necessariamente e ◇ para Possivelmente. Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality. Modals—words that express modalities—qualify a statement. For example, the statement "John is happy" might be qualified by saying that John is usually happy, in which case the term "usually" is functioning as a modal. The traditional alethic modalities, or modalities of truth, include possibility, necessity, and impossibility. Other modalities that have been formalized in modal logic include temporal modalities, or modalities of time, deontic modalities, epistemic modalities, or modalities of knowledge and doxastic modalities, or modalities of belief. A formal modal logic represents modalities using modal operators. For example, "It might rain today" and "It is possible that rain will fall today" both contain the notion of possibility. In a modal logic this is represented as an operator, Possibly, attached to the sentence "It will rain today". The basic unary modal operators are usually written □ for Necessarily and ◇ for Possibly.

definição de modal logic no dicionário inglês

A definição de lógica modal no dicionário é o estudo lógico de conceitos filosóficos como necessidade, possibilidade, contingência, etc. Outra definição de lógica modal é qualquer sistema formal capaz de ser interpretado como um modelo para o comportamento de tais conceitos.

The definition of modal logic in the dictionary is the logical study of such philosophical concepts as necessity, possibility, contingency, etc. Other definition of modal logic is any formal system capable of being interpreted as a model for the behaviour of such concepts.

Clique para ver a definição original de «modal logic» no dicionário inglês.
Clique para ver a tradução automática da definição em português.

PALAVRAS EM INGLÊS QUE COMEÇAM COMO MODAL LOGIC

mod
mod cons
mod.
modal
modalism
modalist
modalistic
modalities
modality
modally
modding
mode
mode of transport
model
model plane
model railway
model theory
model-theoretic
modeling
modelist

PALAVRAS EM INGLÊS QUE TERMINAM COMO MODAL LOGIC

biologic
cryptologic
dermatologic
ecologic
epidemiologic
fuzzy logic
geologic
gynecologic
histologic
histopathologic
hydrologic
immunologic
logic
morphologic
pathologic
pharmacologic
physiologic
psychologic
symbolic logic
urologic
virologic

Sinônimos e antônimos de modal logic no dicionário inglês de sinônimos

SINÔNIMOS

PALAVRAS EM INGLÊS RELACIONADAS COM «MODAL LOGIC»

modal logic modal logic examples introduction proof proofs philosophers symbols type formal primarily developed that extends classical propositional predicate include operators expressing modality modals words express modalities qualify statement stanford encyclopedia philosophy expression like necessarily used judgement strictly speaking linguistics opencourseware course covers sentential quantified with emphasis model theory worlds semantics topics soundness advances aiml originally conceived into powerful mathematical discipline deals restricted playground ross kirsling symbolic capturing inferences about logical systems lies intersection homepage umass amherst chap absolute system relative august update workshop reasoning minds cognitive amazon brian

Tradutor on-line com a tradução de modal logic em 25 línguas

TRADUTOR
online translator

TRADUÇÃO DE MODAL LOGIC

Conheça a tradução de modal logic a 25 línguas com o nosso tradutor inglês multilíngue.
As traduções de modal logic a outras línguas apresentadas nesta seção foram obtidas através da tradução automática estatística; onde a unidade essencial da tradução é a palavra «modal logic» em inglês.

Tradutor português - chinês

模态逻辑
1.325 milhões de falantes

Tradutor português - espanhol

lógica modal
570 milhões de falantes

inglês

modal logic
510 milhões de falantes

Tradutor português - hindi

मोडल तर्क
380 milhões de falantes
ar

Tradutor português - arabe

مشروط المنطق
280 milhões de falantes

Tradutor português - russo

модальная логика
278 milhões de falantes

Tradutor português - português

lógica modal
270 milhões de falantes

Tradutor português - bengali

মোডাল যুক্তিবিদ্যা
260 milhões de falantes

Tradutor português - francês

logique modale
220 milhões de falantes

Tradutor português - malaio

Logik modal
190 milhões de falantes

Tradutor português - alemão

Modallogik
180 milhões de falantes

Tradutor português - japonês

様相論理
130 milhões de falantes

Tradutor português - coreano

모달 논리
85 milhões de falantes

Tradutor português - javanês

Logika modal
85 milhões de falantes
vi

Tradutor português - vietnamita

phương thức luận lý
80 milhões de falantes

Tradutor português - tâmil

மாதிரி தர்க்கம்
75 milhões de falantes

Tradutor português - marata

मॉडेल तर्क
75 milhões de falantes

Tradutor português - turco

Modal mantık
70 milhões de falantes

Tradutor português - italiano

logica modale
65 milhões de falantes

Tradutor português - polonês

logika modalna
50 milhões de falantes

Tradutor português - ucraniano

модальна логіка
40 milhões de falantes

Tradutor português - romeno

logica modală
30 milhões de falantes
el

Tradutor português - grego

τροπική λογική
15 milhões de falantes
af

Tradutor português - africâner

modale logika
14 milhões de falantes
sv

Tradutor português - sueco

modallogik
10 milhões de falantes
no

Tradutor português - norueguês

modal logikk
5 milhões de falantes

Tendências de uso de modal logic

TENDÊNCIAS

TENDÊNCIAS DE USO DO TERMO «MODAL LOGIC»

O termo «modal logic» se utiliza regularmente e ocupa a posição 87.485 da nossa listagem de termos mais usados do dicionário inglês.
0
100%
FREQUÊNCIA
Regularmente usado
59
/100
No mapa anterior reflete-se a frequência de uso do termo «modal logic» nos diferentes países.
Principais tendências de pesquisa e usos comuns de modal logic
Listagem das principais pesquisas realizadas pelos usuários para acessar o nosso dicionário inglês online e expressões mais usadas com a palavra «modal logic».

FREQUÊNCIA DE USO DO TERMO «MODAL LOGIC» AO LONGO DO TEMPO

O gráfico expressa a evolução anual da frequência de uso da palavra «modal logic» nos últimos 500 anos. A sua implementação baseia-se na análise da frequência de aparecimento do termo «modal logic» nas fontes impressas digitalizadas do inglês publicadas desde o ano de 1500 até ao momento.

Citações, bibliografia em inglês e atualidade sobre modal logic

EXEMPLOS

10 LIVROS EM INGLÊS RELACIONADOS COM «MODAL LOGIC»

Descubra o uso de modal logic na seguinte seleção bibliográfica. Livros relacionados com modal logic e pequenos extratos deles para contextualizar o seu uso na literatura.
1
Modal Logic: An Introduction
Chellas here offers an up-to-date and reliable guide of the kind that is very badly needed: his exposition is distinguished by its clarity, economy and elegance, and the book is expected to supplant existing textbooks in the field.
Brian F. Chellas, 1980
2
A New Introduction to Modal Logic
This entirely new work guides the reader through the most basic systems of modal propositional logic up to systems of modal predicate with identity, dealing with both technical developments and discussing philosophical applications.
M.J. Cresswell, G.E. Hughes, 2012
3
Handbook of Modal Logic
The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing.
Patrick Blackburn, Johan F.A.K. van Benthem, Frank Wolter, 2006
4
First-Order Modal Logic
The book covers quantification itself, including the difference between actualist and possibilist quantifiers; equality, leading to a treatment of Frege's morning star/evening star puzzle; the notion of existence and the logical problems ...
M. Fitting, Richard L. Mendelsohn, 1998
5
Modal Logic
This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's.
Patrick Blackburn, Maarten de Rijke, Yde Venema, 2002
6
Proof Theory of Modal Logic
This volume deals with formal, mechanizable reasoning in modal logics, that is, logics of necessity, possibility, belief, time computations etc.
Heinrich Wansing, 1996
7
First Steps in Modal Logic
This is a graduate-level text for a first course in propositional modal logic.
Sally Popkorn, 1994
8
A Short Introduction to Modal Logic
A Short Introduction to Modal Logic presents both semantic and syntactic features of the subject and illustrates them by detailed analyses of the three best-known modal systems S5, S4 and T. The book concentrates on the logical aspects of ...
G. E. Mint︠s︡, 1992
9
Modal Logic for Open Minds
Many of the chapters are followed by exercises, making this volume ideal for undergraduate and graduate students in philosophy, computer science, symbolic systems, cognitive science, and linguistics.
Johan Van Benthem, 2010
10
Modal Logic for Philosophers
This 2006 book provides an accessible, yet technically sound treatment of modal logic and its philosophical applications.
James W. Garson, 2006

10 NOTÍCIAS NAS QUAIS SE INCLUI O TERMO «MODAL LOGIC»

Conheça de que se fala nos meios de comunicação nacionais e internacionais e como se utiliza o termo modal logic no contexto das seguintes notícias.
1
Human Extinction Risks due to Artificial Intelligence Development …
One of my favorites is associated with modal logic. The bottom line is that from observing the facts, it is impossible to come to any conclusions ... «Institute for Ethics and Emerging Technologies, jul 15»
2
Art Review: New paintings, prints by Garry Mitchell and Henry …
Mitchell's abstractions are much jazzier insofar as they rely on dissonance, polyrhythms and even modal logic. To this end, Mitchell's work ... «Press Herald, mai 15»
3
At All-Night Philosophy Event, Physics, Logic and Snoring
... clearly nocturnal Justin Clarke-Doane, a philosophy professor at Columbia University, distributed handouts for a talk on modal logic. “I didn't ... «Wall Street Journal, abr 15»
4
6 GIS Top Tips -- How Not To Throw Your Computer Out The Window
That's even before you've decided whether north is “true” or not (and we're not talking epistemic modal logic). This applies not only to you as ... «Forbes, abr 15»
5
Reading David Chalmers on the Coming "Singularity"
The Australian-born Chalmers made the zombie argument precise, using an abstruse formal field known as modal logic. The implication is that ... «Discovery Institute, abr 15»
6
Philosopher Robert Stalnaker solves problems the MIT way
Robert Stalnaker · MIT Philosophy · School of Humanities, Arts, and Social Sciences · MIT OpenCourseWare: 24.244 (Modal Logic) · MIT ... «MIT News, mar 15»
7
Trains of thought: Bob
His books include Identity and Discrimination, Vagueness, Knowledge and its Limits, The Philosophy of Philosophy, and Modal Logic as ... «OUPblog, fev 15»
8
Descartes' Ontological Argument And What It Means For How We …
Plantinga's and other contemporary versions, like everything having to do with modal logic, seems to confirm Wittgenstein's indictment of ... «Patheos, jan 15»
9
Non-Thematic Program Comes on First Monday
While its atmosphere is often eerily disjunct, there is an underlying modal logic that unifies the disparate elements. It is at once rhapsodic and ... «The Boston Musical Intelligencer, dez 14»
10
On The Anniversary Of His Death: Why Lawyers Love David Foster …
Wallace's senior thesis in modal logic was published posthumously. His senior thesis in English became his first published novel, The Broom of ... «Above the Law, set 14»

REFERÊNCIA
« EDUCALINGO. Modal logic [on-line]. Disponível <https://educalingo.com/pt/dic-en/modal-logic>. Abr 2024 ».
Baixe o aplicativo educalingo
en
dicionário inglês
Descubra tudo o que está escondido nas palavras em
índice
a b c d e f g h i j k l m n o p q r s t u v w x y z