Coalgebraic Geometric Logic: Basic Theory (Logical Methods in Computer Science, 2022)