Skip to content
DraconiticResearch
Search Sources API
201,818 studies31 sourcesUpdated 56 min ago
PreprintCC BY 4.0arXiv

Logics of Filter Bubbles

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.

Related

  1. Classical and Quantum Logics with Multiple Non-Equivalent and Non-Isomorphic Models
    Mladen Pavicic
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryLogic & foundationsarXiv
  2. Uncountably many maximally consistent neighborhood complete congruential modal logics
    Zalán Gyenis, Krzysztof Krawczyk
    arXivPreprintCC BY 4.0Full textLogic & foundationsarXiv
  3. Closure Semantics for Weak Modal Logics: Completeness and Representations
    Yuki Nishimura
    arXivPreprintCC BY 4.0Full textLogic & foundationsarXiv
  4. Elementary modal logics and circuit complexity
    Tenyo Takahashi
    arXivPreprintCC BY 4.0Full textLogic & foundationsarXiv
  5. On Three-Valued Dependence-Like Logics
    Yaroslav Petrukhin
    arXivPreprintCC BY 4.0Full textLogic & foundationsarXiv
BibTeX
@misc{li2026logics,
  title = {{Logics of Filter Bubbles}},
  author = {Lei Li and Jialiang Yan},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.21565},
  eprint = {2609.21565},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.21565},
  note = {CC BY 4.0},
}
RIS
TY  - UNPB
TI  - Logics of Filter Bubbles
AU  - Lei Li
AU  - Jialiang Yan
PY  - 2026
DA  - 2026/09/18
PB  - arXiv
DO  - 10.48550/arxiv.2609.21565
UR  - https://arxiv.org/abs/2609.21565
AB  - 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.
ER  -