多值余代数动态逻辑：通过可约性实现安全性和强完备性

本文讨论了多值余代数动态逻辑领域的研究。重点是使用称为可约性的技术来证明安全性和强完备性。标题表明这是一篇技术论文，可能针对形式方法、逻辑或理论计算机科学领域的研究人员。使用“余代数”和“动态逻辑”等术语表明这是一个专门的研究领域。