Jialiang Yan | arXiv Science

arXiv2026

Logics of Filter Bubbles

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.

cs.LO↗

arXiv2025

A logic for instrumental obligation

This paper develops a logic based on causal inferences to formally capture the concept of instrumental obligation. We establish a causal deontic model that extends causal models with priority structures, allowing us to represent both the instrumental and deontic aspects of an obligation. In this framework, instrumental obligation is defined as a derived notion through intervention formulas of causal reasoning, where an action is considered obligatory if it is the best way to achieve the goal. We provide a sound and complete axiomatic system and show that the logic is NP-complete. The concept of instrumental permission is also taken into account in the model.

math.LO↗