本文關鍵詞：基于基底系統(tǒng)的雙模態(tài)邏輯系統(tǒng)研究　出處：《系統(tǒng)科學學報》2013年02期 　論文類型：期刊論文

  更多相關文章： 多模態(tài)系統(tǒng) 雙模態(tài)邏輯 相互作用公理

【摘要】：雙模態(tài)邏輯是多模態(tài)邏輯的一種,該邏輯系統(tǒng)可以同時處理兩個初始模態(tài)算子。本文從多模態(tài)基底系統(tǒng)出發(fā),給出雙模態(tài)邏輯系統(tǒng)的一般理論,即分析雙模態(tài)相互作用公理及相應的框架條件,給出雙模態(tài)系統(tǒng)的基本構成以及雙模態(tài)系統(tǒng)的極小基礎。雙模態(tài)邏輯系統(tǒng)的一般理論具有應用意義,它是具體的雙模態(tài)系統(tǒng)的一般化概括;同時,雙模態(tài)邏輯的研究方法是研究多模態(tài)邏輯一般理論的一個新視角,對于多模態(tài)邏輯一般理論的研究具有理論意義。
[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
【正文快照】： 傳統(tǒng)模態(tài)邏輯是單模態(tài)邏輯,即在同一系統(tǒng)內(nèi)只考慮一種模態(tài)算子,如必然算子。而隨著模態(tài)邏輯在人工智能,計算科學等領域的發(fā)展,人們自然思考這樣的問題,是否可以在同一邏輯系統(tǒng)內(nèi)處理必然、時間、知識、義務、程序等多種模態(tài)算子?正是基于這樣的考慮,邏輯學家們嘗試地構造可以，

本文編號：1359712