Modal logic analysis distinguishes human and AI text geometry | HACKOBAR_