词语繁体：模態邏輯
词语读音：mó tài luó ji
首字拼音：Mo
词语拼音：mo tai luo ji
词语简拼：MTLJ
词语结构：ABCD式词语
词语字数：四字词语
模态逻辑，逻辑的一个分支，它研究必然、可能及其相关概念的逻辑性质。形式模态逻辑使用模态判决算子表示模态。
【模的意思】：模 mó（ㄇㄛˊ） （一）、法式，规范，标准：模范。模式。楷模。模型。模本。模压。（二）、仿效：模仿 详情>
【态的意思】：态（態） tài（ㄊㄞˋ） （一）、形状，样：态度。状态。姿态。形态。神态。动态。静态。事态。情态。 详情>
【逻的意思】：逻（邏） luó（ㄌㄨㄛˊ） （一）、巡察：巡逻。逻吏（巡逻官）。逻骑。逻卒。（二）、遮拦：“蛛蝥结 详情>
【辑的意思】：辑（輯） jí（ㄐ一ˊ） （一）、聚集，特指聚集材料编书：辑录。辑要。辑逸。编辑。纂辑。（二）、聚集 详情>
• 模态逻辑中的反本质主义
• 复制受限的环境演算中模态逻辑的内涵性
• 讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
• 我们可仿造真性模态逻辑的技术方法定义普遍有效式，构造极小正规认知系统ME。
• 互模拟是进程代数中刻画行为等价的核心概念,而模态逻辑特征是它的一个重要性质。
• 随着模态逻辑在知识表示及知识推理中的广泛应用，关于模态逻辑的研究越来越引起人们的重视。
• 据此，文章从两个主要的方面讨论了模态逻辑中的本质主义问题，即可能世界学说和本质主义方案。
• 作为模态逻辑的继承，与数理逻辑的又一外延，时态逻辑断言推理则有效地解决这方面出现的难题。
友情链接：姓名测试