Comparative plausibility in neighbourhood models: axiom systems and sequent calculi