AI 中文总结
该研究提出弗协调逻辑的动态转向，引入AMLFI1及其特殊情况PALFI1，还有带事实变化的UMLFI1，证明了这些逻辑的可靠性和完全性，它们扩展了已知认知弗协调逻辑，可形式化临时矛盾的获取与解决。
AI 中文摘要
在这项工作中，我们提出了弗协调逻辑中的动态转向。我们引入了AMLFI1，即弗协调逻辑LFI1的行动模型扩展。一个特殊情况是PALFI1，一种公开宣告的弗协调逻辑。它对应于另一种最近发表的弗协调公开宣告逻辑，其公理系统的差异是相互兼容的。我们还引入了UMLFI1，它通过事实变化扩展了AMLFI1。证明了所有逻辑的可靠性和完全性，它们都扩展了文献中已知的认知弗协调逻辑KLFI1、KB4LFI1和S5LFI1。借助这些动态认知弗协调逻辑，我们可以形式化临时矛盾的获取和解决。
英文摘要
In this work we propose a dynamic turn in paraconsistency. We introduce AMLFI1, the action model extension of the paraconsistent logic LFI1. A special case is PALFI1, a paraconsistent logic of public announcements. It corresponds to another, recently published, paraconsistent public announcement logic: the differences in their axiomatizations are mutually admissible. We also introduce UMLFI1, that extends AMLFI1 with factual change. Soundness and completeness are proven for all logics, and all extend the epistemic paraconsistent logics KLFI1, KB4LFI1 and S5LFI1, known from the literature. With such dynamic epistemic paraconsistent logics we can formalize obtaining and resolving provisional contradictions.
