2022/09/27 by Wang, Xinyu, Song, Yang, Tojo, Satoshi
#FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
paper · doi:10.48550/arxiv.2209.13079
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.