发表机构
Shaanxi Normal University; China University of Political Science and Law（陕西师范大学; 中国政法大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文提出混合风格逻辑以刻画过滤气泡的静态结构及其在个性化推送下的形成与持续，并给出可靠强完备公理化及可判定性证明。
AI 中文摘要
过滤气泡可以理解为以群体内邻近性和与外部群体分离为特征的配置。个性化推送可能形成或维持此类配置。我们开发了用于推理过滤气泡的混合风格逻辑。静态逻辑刻画了气泡形配置，而其动态扩展则捕捉了在个性化推送下这些配置的形成与持续。我们为静态和动态逻辑提供了可靠且强完备的公理化，并证明了它们的可判定性。
英文摘要
Filter bubbles can be understood as configurations characterized by within-group proximity and separation from outsiders. Personalized feeds may form or preserve such configurations. We develop hybrid-style logics for reasoning about filter bubbles. The static logic characterizes bubble-shaped configurations, while its dynamic extension captures their formation and persistence under personalized feeds. We provide sound and strongly complete axiomatizations for the static and dynamic logics and prove their decidability.
