关于经验的模态逻辑系统

A Modal Logic System on Experience

本文提出了两组新的模态词“一贯地(真)”、“偶然地(真)”以及“经验地(真)”、“有先例(真)”,推广了Kripke语义,并利用它们建立起一个关于经验的模态逻辑系统??.

Abstract: In this paper we suggest a modal logic system which is better to simulate the commonsense reasoning of persons. The system is constructed on the generalized kripke semantics. In the system we introduce modalities □. ◇ and ??. △, modal sentences □A, ◇A and ??A,△A. They mean A is persistent, A is accidental and A is experiential, A is precedent, respectively. Also, we prove the soundness, consistency and completeness of the system.