下载应用程式
educalingo
搜索

在"英语"词典里modal logic}的意思

词典
词典
section

英语中MODAL LOGIC的发音

modal logic play
facebooktwitterpinterestwhatsapp

MODAL LOGIC的语法类别

noun
形容词
动词
副词
代词
介词
连词
限定词
感叹词

MODAL LOGIC在英语中的意思是什么?

点击查看«modal logic»在英语词典里的原始定义
点击查看在中文词典里此定义的自动翻译

模态逻辑

Modal logic

模态逻辑是一种主要在20世纪60年代开发的形式逻辑,它将经典命题和谓词逻辑扩展到包括运算符表达模态。 表达模态的模态词 - 限定语句。 例如,“约翰很高兴”这个说法可能会被称为约翰通常很开心,在这种情况下,“通常”这个术语可以作为一种模式。 传统的遗传模式或真理的方式包括可能性,必要性和不可能性。 已经以模态逻辑形式化的其他方式包括时间模式,时间模式,神话模式,认知模式,或者知识模式和道德模式,或信仰模式。 正式的模态逻辑表示使用模态运算符的模态。 例如“今天可能下雨”,“今天下雨有可能下降”都包含了可能性的概念。 在一个模态的逻辑中,它被表示为一个运算符,可能附加在句子“今天会下雨”。 基本的一元模态运算符通常写为□必要和◇可能。 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.

在英语 词典里modal logic的定义

字典中模态逻辑的定义是对必要性,可能性,偶然性等哲学概念的逻辑研究。模态逻辑的其他定义是任何能被解释为这种概念行为模型的形式系统。

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.

点击查看«modal logic»在英语词典里的原始定义
点击查看在中文词典里此定义的自动翻译

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

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

英语近义词词典里modal logic的近义词和反义词

近义词

«modal logic»的25种语言翻译

翻译者
online translator

MODAL LOGIC的翻译

通过我们的英语多语言翻译器,找到modal logic25种语言翻译
该章节所呈现的将modal logic由 英语向其他语言的翻译是通过自动统计翻译获得的;在英语中基本的翻译单位是单词«modal logic»。

翻译者英语 - 中文

模态逻辑
1,325 数百万发言者

翻译者英语 - 西班牙语

lógica modal
570 数百万发言者

英语

modal logic
510 数百万发言者

翻译者英语 - 印地语

मोडल तर्क
380 数百万发言者
ar

翻译者英语 - 阿拉伯语

مشروط المنطق
280 数百万发言者

翻译者英语 - 俄语

модальная логика
278 数百万发言者

翻译者英语 - 葡萄牙语

lógica modal
270 数百万发言者

翻译者英语 - 孟加拉语

মোডাল যুক্তিবিদ্যা
260 数百万发言者

翻译者英语 - 法语

logique modale
220 数百万发言者

翻译者英语 - 马来语

Logik modal
190 数百万发言者

翻译者英语 - 德语

Modallogik
180 数百万发言者

翻译者英语 - 日语

様相論理
130 数百万发言者

翻译者英语 - 韩语

모달 논리
85 数百万发言者

翻译者英语 - 印尼爪哇语

Logika modal
85 数百万发言者
vi

翻译者英语 - 越南语

phương thức luận lý
80 数百万发言者

翻译者英语 - 泰米尔语

மாதிரி தர்க்கம்
75 数百万发言者

翻译者英语 - 马拉地语

मॉडेल तर्क
75 数百万发言者

翻译者英语 - 土耳其语

Modal mantık
70 数百万发言者

翻译者英语 - 意大利语

logica modale
65 数百万发言者

翻译者英语 - 波兰语

logika modalna
50 数百万发言者

翻译者英语 - 乌克兰语

модальна логіка
40 数百万发言者

翻译者英语 - 罗马尼亚语

logica modală
30 数百万发言者
el

翻译者英语 - 希腊语

τροπική λογική
15 数百万发言者
af

翻译者英语 - 布尔语(南非荷兰语)

modale logika
14 数百万发言者
sv

翻译者英语 - 瑞典语

modallogik
10 数百万发言者
no

翻译者英语 - 挪威语

modal logikk
5 数百万发言者

modal logic的使用趋势

趋势

词语 «MODAL LOGIC»的使用趋势

0
100%
频率
经常使用
59
/100
此处所显示的地图给出了词语«modal logic»在不同国家的使用频率。
modal logic的主要搜索趋势和常见用法
用户为查找我们的英语在线词典以及单词«modal logic»的最常用表达而进行的主要搜索的列表。

词语«MODAL LOGIC» 随时间而变化的使用频率

该图表展现了单词«modal logic»在过去500年中的用法频率的每年演化其实施是基于分析词语«modal logic»从1500年到现在在 英语数字出版物中出现的频率。

modal logic的英语文献、引用和新闻中的使用范例

示例

«MODAL LOGIC»相关的英语书籍

在以下的参考文献中发现modal logic的用法。与modal logic相关的书籍以及同一来源的简短摘要提供其在 英语文献中的使用情境。
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

包含词语«MODAL LOGIC»的新条目

找出国内和国际出版社所讨论的内容,以及词语modal logic在以下新条目的上下文中是如何使用的。
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, 七月 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, 五月 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, 四月 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, 四月 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, 四月 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, 三月 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, 二月 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, 一月 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, 十二月 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, 九月 14»

参考文献
« EDUCALINGO. Modal logic [在线]. 可用 <https://educalingo.com/zh/dic-en/modal-logic>. 五月 2024 ».
下载educalingo应用
en
英语 词典
, 发现隐藏于单词之后的一切
索引
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