一族邻域权变逻辑
A family of neighborhood contingency logics
摘要：
本文给出了各种自然类邻域框架的权变逻辑的公理化。特别是，通过定义一个合适的典型的邻域函数，我们给出了声音和完整的公理化单调的偶然逻辑和定期的偶然逻辑，从而回答了两个开放的问题提出的Bakhtiari，van Ditmarsch和汉森。典范函数的灵感来自于Kuhn在~1995年提出的一个函数。我们表明，库恩的功能实际上是等于一个相关的功能最初由亨伯斯通。
英文摘要：
This article proposes the axiomatizations of contingency logics of various natural classes of neighborhood frames. In particular, by defining a suitable canonical neighborhood function, we give sound and complete axiomatizations of monotone contingency logic and regular contingency logic, thereby answering two open questions raised by Bakhtiari, van Ditmarsch, and Hansen. The canonical function is inspired by a function proposed by Kuhn in~1995. We show that Kuhn's function is actually equal to a related function originally given by Humberstone.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
