Gödel模糊逻辑模态KD45扩展的可能性语义
Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic
摘要：
本文给出了逻辑KD45（G）的一个简化语义，即经典模态逻辑KD45的多值哥德尔对应物。更准确地说，我们将KD 45（G）刻画为可能性Gödel Kripke框架类$\langle W,π\rangle$的有效公式集，其中$W$是世界的非空集合，$π: W \longrightarrow [0, 1]$是$W$上的归一化可能性分布。
英文摘要：
In this paper we provide a simplified semantics for the logic KD45(G), i.e. the many-valued Gödel counterpart of the classical modal logic KD45. More precisely, we characterize KD45(G) as the set of valid formulae of the class of possibilistic Gödel Kripke Frames $\langle W,π\rangle$, where $W$ is a non-empty set of worlds and $π: W \longrightarrow [0, 1]$ is a normalized possibility distribution on $W$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
