Logical Contracts is a startup focused on financial technology and smart contracts, which develops a logical representation of legal documents. Its solutions can be used to monitor and enforce compliance, explore logical consequences of hypothetical scenarios, as well as to query and update the Ethereum blockchain.