Scarica l'app
educalingo
Cercare

Significato di "modal logic" sul dizionario di inglese

Dizionario
DIZIONARIO
section

PRONUNCIA DI MODAL LOGIC IN INGLESE

modal logic play
facebooktwitterpinterestwhatsapp

CATEGORIA GRAMMATICALE DI MODAL LOGIC

sostantivo
aggettivo
verbo
avverbio
pronome
preposizione
congiunzione
determinante
esclamazione
Modal logic è un sostantivo.
Il nome o sostantivo è il tipo di parole il cui significato determina la realtà. I sostantivi nominano tutte le cose: persone, oggetti, sensazioni, sentimenti, ecc.

CHE SIGNIFICA MODAL LOGIC IN INGLESE

Clicca per vedere la definizione originale di «modal logic» nel dizionario inglese.
Clicca per vedere la traduzione automatica della definizione in italiano.

Logica modale

Modal logic

La logica modale è un tipo di logica formale sviluppata principalmente negli anni '60 che estende la logica classica proposizionale e predicato per includere gli operatori che esprimono la modalità. Modalità-parole che esprimono modalita-qualificano un'istruzione. Ad esempio, l'affermazione "John è felice" potrebbe essere qualificato dicendo che John è solitamente felice, nel qual caso il termine "di solito" funziona come modale. Le tradizionali modalità aletiche, o le modalità della verità, includono possibilità, necessità e impossibilità. Altre modalità che sono state formalizzate nella logica modale includono modalita temporali, modalita 'di tempo, modalità deontiche, modalità epistemiche, modalita' di conoscenza e modalità dxastiche o modalità di credenza. Una logica modale formale rappresenta le modalità con gli operatori modali. Ad esempio, "potrebbe piovere oggi" e "è possibile che la pioggia cadrà oggi" entrambi contengono la nozione di possibilità. In una logica modale questo è rappresentato come un operatore, forse attaccato alla frase "Piove oggi". Gli operatori non modali di base sono di solito scritti □ per Necessariamente e ◇ per forse. 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.

definizione di modal logic nel dizionario inglese

La definizione della logica modale nel dizionario è lo studio logico di concetti filosofici come necessità, possibilità, contingenza, ecc. Un'altra definizione di logica modale è qualsiasi sistema formale che possa essere interpretato come un modello per il comportamento di tali concetti.

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.

Clicca per vedere la definizione originale di «modal logic» nel dizionario inglese.
Clicca per vedere la traduzione automatica della definizione in italiano.

PAROLE IN INGLESE CHE COMINCIANO COME 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

PAROLE IN INGLESE CHE FINISCONO COME 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

Sinonimi e antonimi di modal logic sul dizionario inglese di sinonimi

SINONIMI

PAROLE IN INGLESE ASSOCIATE CON «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 example john 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 textbook intended readers already acquainted elements containing nearly exercises chellas provides carnap internet light

Traduzione di modal logic in 25 lingue

TRADUTTORE
online translator

TRADUZIONE DI MODAL LOGIC

Conosci la traduzione di modal logic in 25 lingue con il nostro traduttore inglese multilingue.
Le traduzioni di modal logic verso altre lingue presenti in questa sezione sono il risultato di una traduzione automatica statistica; dove l'unità essenziale della traduzione è la parola «modal logic» in inglese.

Traduttore italiano - cinese

模态逻辑
1 325 milioni di parlanti

Traduttore italiano - spagnolo

lógica modal
570 milioni di parlanti

inglese

modal logic
510 milioni di parlanti

Traduttore italiano - hindi

मोडल तर्क
380 milioni di parlanti
ar

Traduttore italiano - arabo

مشروط المنطق
280 milioni di parlanti

Traduttore italiano - russo

модальная логика
278 milioni di parlanti

Traduttore italiano - portoghese

lógica modal
270 milioni di parlanti

Traduttore italiano - bengalese

মোডাল যুক্তিবিদ্যা
260 milioni di parlanti

Traduttore italiano - francese

logique modale
220 milioni di parlanti

Traduttore italiano - malese

Logik modal
190 milioni di parlanti

Traduttore italiano - tedesco

Modallogik
180 milioni di parlanti

Traduttore italiano - giapponese

様相論理
130 milioni di parlanti

Traduttore italiano - coreano

모달 논리
85 milioni di parlanti

Traduttore italiano - giavanese

Logika modal
85 milioni di parlanti
vi

Traduttore italiano - vietnamita

phương thức luận lý
80 milioni di parlanti

Traduttore italiano - tamil

மாதிரி தர்க்கம்
75 milioni di parlanti

Traduttore italiano - marathi

मॉडेल तर्क
75 milioni di parlanti

Traduttore italiano - turco

Modal mantık
70 milioni di parlanti

Traduttore italiano - italiano

logica modale
65 milioni di parlanti

Traduttore italiano - polacco

logika modalna
50 milioni di parlanti

Traduttore italiano - ucraino

модальна логіка
40 milioni di parlanti

Traduttore italiano - rumeno

logica modală
30 milioni di parlanti
el

Traduttore italiano - greco

τροπική λογική
15 milioni di parlanti
af

Traduttore italiano - afrikaans

modale logika
14 milioni di parlanti
sv

Traduttore italiano - svedese

modallogik
10 milioni di parlanti
no

Traduttore italiano - norvegese

modal logikk
5 milioni di parlanti

Tendenze d'uso di modal logic

TENDENZE

TENDENZE D'USO DEL TERMINE «MODAL LOGIC»

Il termine «modal logic» si utilizza regolarmente e occupa la posizione 87.485 del nostro elenco di termini più utilizzati del dizionario di inglese.
0
100%
FREQUENZA
Regolarmente usato
59
/100
Nella mappa precedente si riflette la frequenza di suo del termine «modal logic» nei diversi paesi.
Principali tendenze di ricerca e usi comuni di modal logic
Elenco delle principali ricerche fatte dagli utenti per accedere al nostro dizionario di inglese online ed espressioni più utilizzate con la parola «modal logic».

FREQUENZA D'USO DEL TERMINE «MODAL LOGIC» NEL TEMPO

Il grafico rappresenta l'evoluzione annuale della frequenza d'uso della parola «modal logic» negli ultimi 500 anni. La sua implementazione si basa sull'analisi della frequenza della comparsa del termine «modal logic» nelle fonti stampate digitalizzate dalle inglese pubblicate dal 1500 ad oggi.

Citazioni, bibliografia in inglese e attualità su modal logic

ESEMPI

10 LIBRI IN INGLESE ASSOCIATI CON «MODAL LOGIC»

Scopri l'uso di modal logic nella seguente selezione bibliografica. Libri associati con modal logic e piccoli estratti per contestualizzare il loro uso nella letteratura.
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 NOTIZIE DOVE SI INCLUDE IL TERMINE «MODAL LOGIC»

Vedi di che si parla nei media nazionali e internazionali e come viene utilizzato il termine ino modal logic nel contesto delle seguenti notizie.
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, lug 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, mag 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, apr 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, apr 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, apr 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, feb 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, gen 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, dic 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»

RIFERIMENTO
« EDUCALINGO. Modal logic [in linea]. Disponibile <https://educalingo.com/it/dic-en/modal-logic>. Apr 2024 ».
Scarica l'app educalingo
en
dizionario inglese
Scopri tutto ciò che è nascosto nelle parole su
indice
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