A Logical Framework for Convention