基于基底系统的双模态逻辑系统研究

发布时间：2017-12-31 12:12

  本文关键词：基于基底系统的双模态逻辑系统研究　出处：《系统科学学报》2013年02期 　论文类型：期刊论文

  更多相关文章： 多模态系统 双模态逻辑 相互作用公理

【摘要】：双模态逻辑是多模态逻辑的一种,该逻辑系统可以同时处理两个初始模态算子。本文从多模态基底系统出发,给出双模态逻辑系统的一般理论,即分析双模态相互作用公理及相应的框架条件,给出双模态系统的基本构成以及双模态系统的极小基础。双模态逻辑系统的一般理论具有应用意义,它是具体的双模态系统的一般化概括;同时,双模态逻辑的研究方法是研究多模态逻辑一般理论的一个新视角,对于多模态逻辑一般理论的研究具有理论意义。
[Abstract]:Bimodal logic is a kind of multimodal logic, which can deal with two initial modal operators at the same time. In this paper, the general theory of bimodal logic system is given based on the multimodal base system. That is to say, the axiom of bimodal interaction and the corresponding frame conditions are analyzed, and the basic constitution of bimodular system and the minimal foundation of bimodal system are given. The general theory of bimodular logic system is of practical significance. It is a generalization of a specific bimodal system. At the same time, the research method of bimodal logic is a new angle of view to study the general theory of multimodal logic, which has theoretical significance for the study of general theory of multimodal logic.
【作者单位】： 南京大学哲学系宗教学系;
【分类号】：B815.1
【正文快照】： 传统模态逻辑是单模态逻辑,即在同一系统内只考虑一种模态算子,如必然算子。而随着模态逻辑在人工智能,计算科学等领域的发展,人们自然思考这样的问题,是否可以在同一逻辑系统内处理必然、时间、知识、义务、程序等多种模态算子?正是基于这样的考虑,逻辑学家们尝试地构造可以，

本文编号：1359712