带公开宣告的信念Łukasiewicz逻辑
Doxastic Lukasiewicz Logic with Public Announcement
AI总结：
本文提出Łukasiewicz逻辑的信念扩展$BL^+$，进一步引入带公开宣告的逻辑$DL$，并用于建模模糊版泥孩子谜题，最后证明$DL$的可靠性与完备性。
摘要：
本文提出Łukasiewicz逻辑的信念扩展$BL^+$，该逻辑相对于所引入的对应语义是可靠且完备的。同时，我们为信念Łukasiewicz逻辑$BL^+$配备公开宣告机制，并提出逻辑$DL$。作为应用，我们使用$DL$对带公开宣告的模糊版泥孩子谜题进行建模。最后，我们定义$DL$与$BL^+$之间的翻译，并证明$DL$的可靠性与完备性定理。
英文摘要：
In this paper, we propose a doxastic extension $BL^+$ of Lukasiewicz logic which is sound and complete relative to the introduced corresponding semantics. Also, we equip our doxastic Lukasiewicz logic $BL^+$ with public announcement and propose the logic $DL$. As an application, we model a fuzzy version of muddy children puzzle with public announcement using $DL$. Finally, we define a translation between $DL$ and $BL^+$, and prove the soundness and completeness theorems for D L
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
