论文标题
在三值模态逻辑上：从四个值的角度来看
On Three-Valued Modal Logics: from a Four-Valued Perspective
论文作者
论文摘要
本文旨在为古老的开放问题提供全面的解决方案：如何以生动的直观图片，令人信服的哲学理由以及多功能的实用用法来定义三价模态逻辑的语义。基于与创新的观点相关研究的现有工作线，我们采用一种弯路方法来解释三个价值的逻辑，从四个评估的角度来解释三个值的逻辑，从而发明了一种通用和系统的方法来发展，并使用三个价值的模态逻辑来解释。我们通过两种具体案例（一种能态和另一种认知）来说明我们的方法，因为这两个案例也详细介绍了声音和强烈完整的自然扣除系统。我们认为我们的三价模态逻辑是将deontic或认知概念合并为时间逻辑的轻量级候选者，而没有更大的多种方式负担。
This paper aims at providing a comprehensive solution to the archaic open problem: how to define semantics of three-valued modal logic with vivid intuitive picture, convincing philosophical justification as well as versatile practical usage. Based on an existing line of work concerned with investigating three-valued logic out of innovative angles of view, we adopt a detour approach to interpret three-valued logic from a four-valued perspective, which results in the invention of an universal and systematic methodology for developing, explaining as well as utilizing three-valued modal logic. We illustrate our method through two concrete cases, one deontic and another epistemic, for both of which a sound and strongly complete natural deduction proof system is also presented in detail. We perceive our three-valued modal logic as a lightweight candidate to merge deontic or epistemic notion into temporal logic, without heavier burden of multiple modalities.
