发表机构
Institute of Computer Science, Czech Academy of Sciences（捷克科学院计算机科学研究所）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文受相关认知逻辑启发，扩展Dunn的二元关系语义以适配RM的模态扩展，并证明所得模态公理与规则可为广义Nelson逻辑族中所有逻辑的模态扩展提供可靠且完备的公理化。
AI 中文摘要
受相关认知逻辑的启发，我们将Dunn为半相关逻辑RM设计的简单Kripke式二元关系语义进行扩展，以适应RM的模态扩展。研究表明，为使RM的模态扩展获得可靠且完备的公理化而需添加到RM中的模态公理和规则，也为广义Nelson逻辑族（同样由Dunn研究）中所有逻辑的模态扩展提供了公理化。
英文摘要
Motivated by relevant epistemic logic, we extend Dunn's simple Kripke-style binary relational semantics for the semi-relevant logic RM to fit a modal extension of RM. It is shown that the modal axioms and rules that need to be added to RM to obtain a sound and complete axiomatisation of its modal extension give an axiomatisation of modal extensions of all logics in the family of generalised Nelson logics, also studied by Dunn.
