在线期刊

三类知道活动的逻辑

作者:李小五

关键字:知道活动的系统框架可靠性框架完全性

摘要/Abstract

我们提出三类知道活动的系统,分别证明它们相对匹配的语义有框架可靠性和框架完全性。

We construct three kinds of systems of knowing action, prove that they have the frame soundness and frame completeness with respect to the matched semantics, respectively.

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