modal logic的意思

modal logic中文翻譯：

[數]模態邏輯；情態邏輯

相似詞語短語

formal logic───形式邏輯

modalistic───情態的

monologic───adj.獨白的；獨白式的

morphologic───adj.形態學（上），形態學的

somatologic───n.軀體學的

volcanologic───火山學

internal logic───內在聯系；內在邏輯

雙語使用場景

Modal logic, as a non - classical logic, is different from classical logic.───模態邏輯作為一種 非 古典邏輯是與古典邏輯不同類型的邏輯.

Some of them, such as time Rover (see Resources for the July 2002 column), use modal logic and other logical formalisms to express deep attributes of run-time behavior.───一些項目，如Time Rover(見參考資料2002年7月專欄)，使用模態邏輯和其它邏輯形式來表示運行時行為的深度屬性。

Modal logic is the logic of necessity and possibility.───模態邏輯是關于必要性和可能性的邏輯。

Propositional modal logic is now an effective tool in artificial intelligence and other areas of computer science, but predicate modal logic is not.───命題模態邏輯已成為人工智能以及計算機科學等其他領域的有效工具，但謂詞模態邏輯卻不是。

The study of modality may date back to Aristotle, who focused his attention on modal logic.───對情態意義的研究可追溯到亞里士多德時期, 當時的研究重點是情態的哲學概念.

The book contains an excellent discussion of modal logic.───這本書包含了有關模態邏輯的精彩探討.

英語使用場景