Algebraic and Proof-Theoretic Foundations of the Logics for Social Behaviour