BriefGPT.xyz
Feb, 2025
信念修订的AGM公理的模态逻辑翻译
A modal logic translation of the AGM axioms for belief revision
HTML
PDF
Giacomo Bonanno
TL;DR
本研究针对信念修订领域的AGM公理，提出了一种包含三种模态运算符的简单模态逻辑，以填补现有理论的空白。研究中为每个AGM公理提供了相应的模态公理，并证实了AGM公理与Kripke-Lewis框架属性之间的对应关系，展示了该新方法的有效性。
Abstract
Building on the analysis of Bonanno (
Artificial Intelligence
, 2025) we introduce a simple
Modal Logic
containing three modal operators: a unimodal belief operator, a bimodal conditional operator and the unimodal
→