Text this: Positive logic with adjoint modalities: Proof theory, semantics, and reasoning about information