模态逻辑的英文

• logic of modality
• modal length
• modal logic
• modality logics
• model logic

• "模态"英文翻译    modal; modality
• "逻辑"英文翻译    logic
• "模态逻辑 模态逻辑学" 英文翻译 :    modallogic
• "模态逻辑学" 英文翻译 :    modal logic
• "基本模态逻辑" 英文翻译 :    basic modal logic
• "模态逻辑手册" 英文翻译 :    handbook of modal logic
• "搜索模态逻辑" 英文翻译 :    search mode logic
• "一阶模态逻辑" 英文翻译 :    first-order modal logic
• "正规模态逻辑" 英文翻译 :    normal modal logic
• "电流模态逻辑电路" 英文翻译 :    current-mode logic
• "模态逻辑与可证性" 英文翻译 :    modal logic and provability
• "动态逻辑" 英文翻译 :    dynamic logic
• "多态逻辑" 英文翻译 :    multistate logic; multistratum control
• "共态逻辑" 英文翻译 :    cml common mode logic
• "共态逻辑（电路）" 英文翻译 :    cml common mode logic
• "静态逻辑" 英文翻译 :    static logic
• "情态逻辑" 英文翻译 :    modal logic
• "三态逻辑" 英文翻译 :    logic, tristate; three state logic; three-state logic; tri state logic; tristate logic; tsl three state logic
• "时态逻辑" 英文翻译 :    temporal logic; tense logic
• "状态逻辑" 英文翻译 :    logic state; phase logic; state logic
• "动态逻辑电路" 英文翻译 :    dynamic logic circuit
• "固态逻辑技术" 英文翻译 :    solid logic technology
• "集成固态逻辑" 英文翻译 :    integrated solid state logic
• "静态逻辑冒险" 英文翻译 :    static logic hazard
• "命题动态逻辑" 英文翻译 :    pdl

• Some problems in generalized modal logic
  广义模态逻辑研究中的若干问题
• On quine ' s criticism about the modal logic
  论奎因对模态逻辑的批判
• A study of chinese information filtering based modal logic
  基于模态逻辑的汉语信息过滤机制研究
• Diversified sight of modern modal logic
  现代模态逻辑的多元视野
• The last philosophical home of modal logic
  模态逻辑的哲学归宿
• Fuzzy modal logic and its basic systems
  模态逻辑及其基础系统
• Formal reasoning system based on fuzzy propositional modal logic
  基于模糊命题模态逻辑的形式推理系统
• Anti essentialism in modal logic
  模态逻辑中的反本质主义
• The proofs based on back and forth method for two theorems in modal logic
  模态逻辑两个定理的基于向前向后方法的证明
• Intensionality of modal logic for ambient calculus with restricted replication
  复制受限的环境演算中模态逻辑的内涵性

• 模态逻辑的法语：logique madale
• 模态逻辑的日语：様相論理学
• 模态逻辑的俄语：Модальная логика
• 模态逻辑的阿拉伯语：تصنيف:منطق موجهات;
• 模态逻辑什么意思：[modal logic] 包含诸如必然性、可能性、不可能性、偶然性、严格蕴涵以及某些其他紧密相关的概念等模态的系统。建构模态逻辑最直截了当的方法就是，在某些标准非模态逻辑系统中增加一个新的原始算符，以表示模态，以此来定义其他的模态算符，并增加那些模态算符的公理与（或）转换规则。举例来说，某人可以在古典命题演算中增加L这个符号，意为“那是必然的”；以此方式，Lp就读作“p是必然的”。可能性算符M（...