Logical Contract

A logical representation of a legal document that is close to natural, human language, but executable by computer.

It can be used to:

• monitor compliance of the parties to a contract.
• enforce compliance, by automatically performing actions to fulfil obligations, and/or by issuing warnings and remedial actions to respond to violations of obligations.
• explore logical consequences of hypothetical scenarios.
• query and update the Ethereum blockchain