Bi-colored expansions of geometric theories Conference/Journal Name ANNALS OF PURE AND APPLIED LOGIC doi 10.1016/j.apal.2024.103525 2025-02 Article type Journal