论文标题
Tableau Systems用于某些类似IVLEV的模态逻辑
Tableau systems for some Ivlev-like (quantified) modal logics
论文作者
论文摘要
Ivlev的开拓性工作始于1970年代，从多个价值逻辑的角度研究了模态逻辑的新方式。我们继续使用非确定性语义的IVLEV样非正态模态逻辑进行，我们在本文中介绍了TM，S4M和S5M的Tableau Systems，分别是T，S4和S5的非正态版本，以及它们相应的一阶扩展TM*，S4M*，S4M*和S5M*和S5M*。
Ivlev's pioneering work started in the 1970's showed a new and promissory way in the study of modal logic from the perspective of many-valued logics. Continuing our previous work on Ivlev-like non-normal modal logics with non-deterministic semantics, we present in this paper tableau systems for Tm, S4m and S5m, the non-normal versions of T, S4 and S5, respectively, as well as for their corresponding first-order extensions Tm*, S4m* and S5m*.
