| 模态逻辑系统S5的本原运算子集 |
| |
| 引用本文： | 李芸,董克诚. 模态逻辑系统S5的本原运算子集[J]. 河北大学学报(自然科学版), 1997, 0(4) |
| |
| 作者姓名： | 李芸 董克诚 |
| |
| 作者单位： | Li Yun (Department of Electronics，Hebei University，Baoding 071002) Dong Kecheng (Department of Mathematics，Hebei University，Baoding 071002) |
| |
| 摘 要： | 探讨了模态逻辑系统Ｓ５的运算子性质，进而证明关于它的本原运算子集的一个定理，并给出一些推论。
|
| 关 键 词： | 模态逻辑 模态词 必然 可能 本原运算子 |
Primitive Operator Set of Modal Logic System S5 |
| |
| Li Yun. Primitive Operator Set of Modal Logic System S5[J]. Journal of Hebei University (Natural Science Edition), 1997, 0(4) |
| |
| Authors: | Li Yun |
| |
| Abstract: | The properties of the operators of modal logic system S5 is investigated, then a theorem is proved about its primitive operator set, and some corollaries are given. |
| |
| Keywords: | Modal logic Modalities Necessity Possibility Primitive operator |
| 本文献已被 CNKI 等数据库收录！ |
