在线期刊

动态认知条件句逻辑DEC2

作者:李小五

关键字:动态认知条件句系统有序邻域语义框架可靠性框架完全性

摘要/Abstract

首先,我们构造动态认知条件句系统DEC2,给出它的一些证明论结果。其次,我们引入有序邻域语义,给出描述DEC2的特征公理的框架条件,证明DEC2相对这些框架条件是框架可靠的。最后,我们证明DEC2相对这些框架条件也是框架完全的。

Firstly, we construct the dynamic epistemic conditional system DEC2, give some results of its proof theory. Secondly, we introduce the order neighborhood semantics, give the frame conditions of the character axioms of DEC2, prove the frame soundness of DEC2 with respect to the frame conditions. Finally, we prove the frame completeness of DEC2 with respect to the frame conditions as well.

版权声明:社科网的所有在线期刊内容均由各期刊编辑部根据协议提供。 任何个人、机构、网站如未经本网书面授权,私自复制或转载本网中的图片、文字,均将被视为侵权行为。此类行为一经发现,本网将依据《中国人民共和国版权法》和《互联网管理条例》,追究侵权者的责任。