这些系统之所以是正规的，是因为它们符合了一条非常直观的关于模态的观点（该观点的核心来自于莱布尼兹，由...
《正规多模态逻辑研究》是2024年科学出版社出版的图书，作者是赵贤。内容简介 模态逻辑是现代逻辑研究的重要领域，多模态逻辑则是模态逻辑研究的前沿领域。多模态逻辑是包含两种或两种以上模态算子的模态逻辑系统，且算子之间不可规约，它是模态逻辑的重要组成部分。该书以模态交互作用公理为视角，构建了多模态逻辑一般系统...
正规模态系统就是满足公理K：□(p→q)→(□p→□q)和必然性规则N：α＝＞□α的模态逻辑系统，常...
正规多模态逻辑因其强大的刻画能力及解题功能,一直处于多模态逻辑研究的主体地位。《正规多模态逻辑研究》从“模态算子交互作用公理模式”这一崭新视角出发,系统研究了正规多模态逻辑的一般系统及其在哲学中的应用。主要包括:多模态逻辑的研究动因和研究现状、正规多模态逻辑的形式系统和语义、正规多模态逻辑系统的元理论以...
从简单的证明命题逻辑有效性的真值表、归谬法的思想 出发到反模型的建立;从最早证明模态逻辑系统的 Kripke-语义图的出现到 Hughes and Gresswell 对 Kripke-语义图的修正;从 L.Henkin 极大一致集的提出到从属模 型和典范模型的建立;从典范模型的广泛使用到 Bull 有限模型的建立无不体现了这 一点.对正规模态逻辑...
模态逻辑系统的Kripke-语义图的出现到HughesandGresswell对Kripke-语义图的修正;从L.Henkin 极大一致集的提出到从属模型和典范模型的建立;从典范模型的广泛使用到Bull有限模型的建立无不 体现了这一点。对正规模态逻辑系统完全性证明的层层刨析,可以更好地把握和使用完全性证明方法。
与“正规模态系统”相对。例如，模态命题逻辑系统Si、S2和S3都是非正规模态系统。正规世界是模态逻辑用语。在模态逻辑的可能世界语义模型中，如果一个世界w，满足白返性的要求，即有wiRw1成立，那么称wi为一个正规世界。在正规模态命题逻辑系统T、S4、B和Ss的可能世界语义模型中，每一个世界都是正规世界。
现代模态逻辑其实是按一阶逻辑公理和规则对经典真值函数做分类研究.模态命题逻辑中任一个可能世界集W仅表示与某一公理模式相应的一组二真值函数,相应的可能世界间的关... 万小龙 - 《淮阴师范学院学报(哲学社会科学版)》 被引量: 2发表: 2012年 戈德布莱特:"常元模态逻辑和典范性" 每一个正规模态命题逻辑L都...
浙江正规多模态光学成像系统 (共129件相关产品信息) 更新时间:2022年02月10日 品牌 林帝 华仁 华夏巨匠 云知汇 华矿 海克斯康 MicroVu Trimble/天宝 中科联 品智创思 安卫士 津发科技 非常祥科技 RKE/瑞科 千盛 科曼尼 神眼通 奥林巴斯 海康威视 东若 莱克舒特 诚立 达普 圣能 ZEISS蔡司 FCHX 伯乐 辅...