Logics of Filter Bubbles

2026-09-18

AI Summary

研究针对过滤气泡问题，通过开发静态和动态逻辑系统来推理过滤气泡的形成与维持机制。

Abstract

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.

Problem

• filter bubbles
• personalized feeds
• group proximity
• outsider separation

Innovation

• hybrid-style logics
• filter bubbles
• personalized feeds
• axiomatizations