模态命题

关于模态命题系统P5的协调性

On the Consistency of the Modal Propositional System P_5

关于模态命题公式4、E和B的布尔值

On the Boolean Value of the Modal Formulae 4 、 E and B

关于正规模态命题逻辑系统的完全性证明

Discussing about the Completeness Proof of Normal Modal Propositional Logic System

古典命题逻辑与模态命题逻辑

Classical Propositional Logic and Modal Propositional Logic

模糊模态命题逻辑的语义

The Semantic of Fuzzy Modal Propositional Logic

随后，给出模糊模态命题逻辑的概念，并定义了模糊模态命题运算。

Then , the concept of Fuzzy Modal Propositional Logic together with it 's operations are proposed .

然后给出了模糊模态命题逻辑的概念，定义了模糊模态命题运算，在赋值格中定义了（？）

Then the concept of Fuzzy Modal Propositional Logic is put forward , the operation of Fuzzy Modal Propositional Logic is defined .

模态联言、选言命题与联言、选言模态命题

On Conjunctive or Disjunctive Proposition of Modality and Modal Proposition of Conjunctive Form or Disjunctive Form

中世纪早期模态理论主要关注关于将来事件模态命题的解释。

The early Medieval modalities theories mainly focused on the interpretation of the modalities propositions of future events .

探讨基于可信度的模糊命题模态逻辑的形式推理，给出相关的模糊Kripke语义描述.其研究目的旨在解决基于模态命题逻辑的模糊推理的能行问题。

The formal reasoning of the fuzzy propositional modal logic based on plausibility degree is considered , and the description of the associated Kripke semantics is given .