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