Log In Sign Up

Governing Governance: A Formal Framework for Analysing Institutional Design and Enactment Governance

by   Thomas C. King, et al.

This dissertation is motivated by the need, in today's globalist world, for a precise way to enable governments, organisations and other regulatory bodies to evaluate the constraints they place on themselves and others. An organisation's modus operandi is enacting and fulfilling contracts between itself and its participants. Yet, organisational contracts should respect external laws, such as those setting out data privacy rights and liberties. Contracts can only be enacted by following contract law processes, which often require bilateral agreement and consideration. Governments need to legislate whilst understanding today's context of national and international governance hierarchy where law makers shun isolationism and seek to influence one another. Governments should avoid punishment by respecting constraints from international treaties and human rights charters. Governments can only enact legislation by following their own, pre-existing, law making procedures. In other words, institutions, such as laws and contracts are designed and enacted under constraints.


page 19

page 35


Smart Derivatives Contracts: the ISDA Master Agreement and the automation of payments and deliveries

High-value derivatives contracts require substantial legal protection an...

Computable Contracts in the Financial Services Industry

A computable contract is a contract that a computer can read, understand...

Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts

Smart contracts are the building blocks of the "code is law" paradigm: t...

Incomplete Contracting and AI Alignment

We suggest that the analysis of incomplete contracting developed by law ...

ContractNLI: A Dataset for Document-level Natural Language Inference for Contracts

Reviewing contracts is a time-consuming procedure that incurs large expe...

Exploiting The Laws of Order in Smart Contracts

We investigate a family of bugs in blockchain-based smart contracts, whi...